ToExp Bool # | |
|
ToExp Char # | |
|
ToExp Int # | |
|
ToExp Integer # | |
|
ToExp Ordering # | |
|
ToExp Word8 # | |
|
ToExp Exp # | |
|
ToExp Match # | |
|
ToExp Clause # | |
|
ToExp Pat # | |
|
ToExp Type # | |
|
ToExp Dec # | |
|
ToExp Name # | |
|
ToExp FunDep # | |
|
ToExp TyVarBndr # | |
|
ToExp InjectivityAnn # | |
|
ToExp Overlap # | |
|
ToExp () # | |
|
ToExp Extension # | |
|
ToExp ModName # | |
|
ToExp PkgName # | |
|
ToExp Module # | |
|
ToExp OccName # | |
|
ToExp NameFlavour # | |
|
ToExp NameSpace # | |
|
ToExp Info # | |
|
ToExp ModuleInfo # | |
|
ToExp Fixity # | |
|
ToExp FixityDirection # | |
|
ToExp Lit # | |
|
ToExp Body # | |
|
ToExp Guard # | |
|
ToExp Stmt # | |
|
ToExp Range # | |
|
ToExp TypeFamilyHead # | |
|
ToExp TySynEqn # | |
|
ToExp Foreign # | |
|
ToExp Callconv # | |
|
ToExp Safety # | |
|
ToExp Pragma # | |
|
ToExp Inline # | |
|
ToExp RuleMatch # | |
|
ToExp Phases # | |
|
ToExp RuleBndr # | |
|
ToExp AnnTarget # | |
|
ToExp SourceUnpackedness # | |
|
ToExp SourceStrictness # | |
|
ToExp DecidedStrictness # | |
|
ToExp Con # | |
|
ToExp Bang # | |
|
ToExp FamilyResultSig # | |
|
ToExp TyLit # | |
|
ToExp Role # | |
|
ToExp AnnLookup # | |
|
ToExp a => ToExp [a] # | produces expressions that use ListE instead of AppE and : to
make them prettier |
|
ToExp a => ToExp (Maybe a) # | |
|
ToExp a => ToExp (Ratio a) # | |
|
(ToExp a, ToExp b) => ToExp (Either a b) # | |
|
(ToExp a, ToExp b) => ToExp (a, b) # | |
|
(ToExp a, ToExp b, ToExp c) => ToExp (a, b, c) # | |
|
(ToExp a, ToExp b, ToExp c, ToExp d) => ToExp (a, b, c, d) # | |
|
(ToExp a, ToExp b, ToExp c, ToExp d, ToExp e) => ToExp (a, b, c, d, e) # | |
|
(ToExp a, ToExp b, ToExp c, ToExp d, ToExp e, ToExp f) => ToExp (a, b, c, d, e, f) # | |
|
(ToExp a, ToExp b, ToExp c, ToExp d, ToExp e, ToExp f, ToExp g) => ToExp (a, b, c, d, e, f, g) # | |
Methods toExp :: (a, b, c, d, e, f, g) -> Exp # |