Add Compactable - Githubissues

FormationAI / dhall-bhat

Tasty meal of Dhall

66 stars 11 forks source link

Add Compactable #54

Open FintanH opened 5 years ago

FintanH commented 5 years ago

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
~filter~
~partition~
apMaybe
apEither
bindMaybe
bindEither
traverseMaybe
traverseEither

EDIT: Not sure if filter or partition are useful