hydra-0.8.0: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Dsl.Mantle

Documentation

termAccessorAnnotatedSubject :: TTerm TermAccessor Source #

termAccessorApplicationFunction :: TTerm TermAccessor Source #

termAccessorApplicationArgument :: TTerm TermAccessor Source #

termAccessorLambdaBody :: TTerm TermAccessor Source #

termAccessorListFold :: TTerm TermAccessor Source #

termAccessorOptionalCasesNothing :: TTerm TermAccessor Source #

termAccessorOptionalCasesJust :: TTerm TermAccessor Source #

termAccessorUnionCasesDefault :: TTerm TermAccessor Source #

termAccessorUnionCasesBranch :: TTerm Name -> TTerm TermAccessor Source #

termAccessorLetEnvironment :: TTerm TermAccessor Source #

termAccessorLetBinding :: TTerm Name -> TTerm TermAccessor Source #

termAccessorListElement :: TTerm Int -> TTerm TermAccessor Source #

termAccessorMapKey :: TTerm Int -> TTerm TermAccessor Source #

termAccessorMapValue :: TTerm Int -> TTerm TermAccessor Source #

termAccessorOptionalTerm :: TTerm TermAccessor Source #

termAccessorProductTerm :: TTerm Int -> TTerm TermAccessor Source #

termAccessorRecordField :: TTerm Name -> TTerm TermAccessor Source #

termAccessorSetElement :: TTerm Int -> TTerm TermAccessor Source #

termAccessorSumTerm :: TTerm TermAccessor Source #

termAccessorTypeAbstractionBody :: TTerm TermAccessor Source #

termAccessorTypeApplicationTerm :: TTerm TermAccessor Source #

termAccessorTypedTerm :: TTerm TermAccessor Source #

termAccessorInjectionTerm :: TTerm TermAccessor Source #

termAccessorWrappedTerm :: TTerm TermAccessor Source #