free-functors-1.2.1: 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 #

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