Add the Compactable construct to dhall-bhat.
Class Functions:
- compact : (f : Functor) -> f (Maybe a) -> f a
- separate : (f : Functor) -> f (Either l r) -> (f l, f r)
Instances may be automatically derivable from the above two functions.
Combinator Functions:
- mapMaybe
- mapEither
filterpartition- apMaybe
- apEither
- bindMaybe
- bindEither
- traverseMaybe
- traverseEither
EDIT: Not sure if filter or partition are useful
Add the
Compactableconstruct to dhall-bhat.Class Functions:
Instances may be automatically derivable from the above two functions.
Combinator Functions:
filterpartitionEDIT: Not sure if filter or partition are useful