free-functors-1.1.2: Free functors, adjoint to functors that forget class constraints.
Safe HaskellNone
LanguageHaskell2010

Data.Functor.Free.Internal

Documentation

kExp :: Q Exp Source #

kPat :: Q Pat Source #

freeDeriv :: Name -> Name -> Derivator Source #

deriveFreeInstance' :: Name -> Name -> Name -> Name -> Q [Dec] Source #

deriveInstances' :: Name -> Name -> Name -> Name -> Q [Dec] Source #

class (a => b) => a :=> b Source #

Instances

Instances details
(a => b) => a :=> b Source # 
Instance details

Defined in Data.Functor.Free.Internal

type (~=>) a b = forall x. a x :=> b x Source #