Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Sources.Tier1.CoreEncoding

Documentation

coreEncodingModule :: Module Source #

coreEncodingDefinition :: String -> Type -> TTerm x -> TElement x Source #

encodedBinary :: TTerm String -> TTerm Term Source #

encodedBoolean :: TTerm Bool -> TTerm Term Source #

encodedCase :: Name -> Name -> TTerm (a -> Term) -> Field Source #

encodedField :: Name -> TTerm Term -> TTerm Term Source #

encodedFieldRaw :: TTerm Name -> TTerm Term -> TTerm Term Source #

encodedFloatValue :: TTerm FloatValue -> TTerm Term Source #

encodedInjection :: Name -> Name -> TTerm Term -> TTerm Term Source #

encodedInt32 :: TTerm Int -> TTerm Term Source #

encodedIntegerValue :: TTerm IntegerValue -> TTerm Term Source #

encodedList :: TTerm [a] -> TTerm Term Source #

encodedLiteral :: TTerm Literal -> TTerm Term Source #

encodedMap :: TTerm (Map k v) -> TTerm Term Source #

encodedName :: Name -> TTerm Name Source #

encodedWrappedTerm :: Name -> TTerm Term -> TTerm Term Source #

encodedWrappedTermRaw :: TTerm Name -> TTerm Term -> TTerm Term Source #

encodedOptional :: TTerm (Maybe a) -> TTerm Term Source #

encodedRecord :: Name -> [Field] -> TTerm Term Source #

encodedSet :: TTerm (Set a) -> TTerm Term Source #

encodedString :: TTerm String -> TTerm Term Source #

encodedUnion :: TTerm Term -> TTerm Term Source #

encodedVariant :: Name -> Name -> TTerm Term -> TTerm Term Source #

coreEncodeAnnotatedTermDef :: TElement (AnnotatedTerm -> Term) Source #

coreEncodeAnnotatedTypeDef :: TElement (AnnotatedType -> Term) Source #

coreEncodeApplicationDef :: TElement (Application -> Term) Source #

coreEncodeApplicationTypeDef :: TElement (ApplicationType -> Term) Source #

coreEncodeCaseStatementDef :: TElement (CaseStatement -> Term) Source #

coreEncodeEliminationDef :: TElement (Elimination -> Term) Source #

coreEncodeFieldDef :: TElement (Field -> Term) Source #

coreEncodeFieldTypeDef :: TElement (FieldType -> Term) Source #

coreEncodeFloatTypeDef :: TElement (FloatType -> Term) Source #

coreEncodeFloatValueDef :: TElement (FloatValue -> Term) Source #

coreEncodeFunctionDef :: TElement (Function -> Term) Source #

coreEncodeFunctionTypeDef :: TElement (FunctionType -> Term) Source #

coreEncodeInjectionDef :: TElement (Injection -> Term) Source #

coreEncodeIntegerTypeDef :: TElement (IntegerType -> Term) Source #

coreEncodeIntegerValueDef :: TElement (IntegerValue -> Term) Source #

coreEncodeLambdaDef :: TElement (Lambda -> Term) Source #

coreEncodeLambdaTypeDef :: TElement (LambdaType -> Term) Source #

coreEncodeLetDef :: TElement (Let -> Term) Source #

coreEncodeLetBindingDef :: TElement (LetBinding -> Term) Source #

coreEncodeLiteralDef :: TElement (Literal -> Term) Source #

coreEncodeLiteralTypeDef :: TElement (LiteralType -> Term) Source #

coreEncodeMapTypeDef :: TElement (MapType -> Term) Source #

coreEncodeNameDef :: TElement (Name -> Term) Source #

coreEncodeOptionalCasesDef :: TElement (OptionalCases -> Term) Source #

coreEncodeProjectionDef :: TElement (Projection -> Term) Source #

coreEncodeRecordDef :: TElement (Record -> Term) Source #

coreEncodeRowTypeDef :: TElement (RowType -> Term) Source #

coreEncodeSumDef :: TElement (Sum -> Term) Source #

coreEncodeTermDef :: TElement (Term -> Term) Source #

coreEncodeTupleProjectionDef :: TElement (TupleProjection -> Term) Source #

coreEncodeTypeDef :: TElement (Type -> Term) Source #

coreEncodeTypeAbstractionDef :: TElement (TypeAbstraction -> Term) Source #

coreEncodeTypeSchemeDef :: TElement (TypeScheme -> Term) Source #

coreEncodeTypedTermDef :: TElement (TypedTerm -> Term) Source #

coreEncodeWrappedTermDef :: TElement (WrappedTerm -> Term) Source #

coreEncodeWrappedTypeDef :: TElement (WrappedType -> Term) Source #