ftypes-0.1.0.0: Initial project template from stack

Safe HaskellSafe
LanguageHaskell2010

FTypes.Classes.FChoice

Documentation

data (f :+: g) a

Constructors

LeftF (f a) 
RightF (g a) 

class FFunctor rec => FChoice rec where

Methods

fchoose :: rec (f :+: g) -> Either (rec f) (rec g)