Skip to content

Instantly share code, notes, and snippets.

@tonymorris
Created October 30, 2019 20:37
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save tonymorris/3dd0f9eaa711f725160be16199408844 to your computer and use it in GitHub Desktop.
Save tonymorris/3dd0f9eaa711f725160be16199408844 to your computer and use it in GitHub Desktop.
-- ew
(%~?) ::
(Cons b b a a, Alternative f, AsEmpty b) =>
ASetter s t (f b) (f b)
-> a
-> s
-> t
(%~?) k a =
k %~ \x -> fmap (cons a) (x <|> pure (_Empty # ()))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment