Hydra.Sources.Tier1.CoreEncoding

Documentation

coreEncodingModule :: Module

coreEncodingDefinition :: String -> Type -> Datum x -> Definition x

encodedBinary :: Datum String -> Datum Term

encodedBoolean :: Datum Bool -> Datum Term

encodedCase :: Name -> Name -> Datum (a -> Term) -> Field

encodedField :: Name -> Datum Term -> Datum Term

encodedFieldRaw :: Datum Name -> Datum Term -> Datum Term

encodedFloatValue :: Datum FloatValue -> Datum Term

encodedInjection :: Name -> Name -> Datum Term -> Datum Term

encodedInt32 :: Datum Int -> Datum Term

encodedIntegerValue :: Datum IntegerValue -> Datum Term

encodedList :: Datum [a] -> Datum Term

encodedLiteral :: Datum Literal -> Datum Term

encodedMap :: Datum (Map k v) -> Datum Term

encodedName :: Name -> Datum Name

encodedWrappedTerm :: Name -> Datum Term -> Datum Term

encodedWrappedTermRaw :: Datum Name -> Datum Term -> Datum Term

encodedOptional :: Datum (Maybe a) -> Datum Term

encodedRecord :: Name -> [Field] -> Datum Term

encodedSet :: Datum (Set a) -> Datum Term

encodedString :: Datum String -> Datum Term

encodedUnion :: Datum Term -> Datum Term

encodedVariant :: Name -> Name -> Datum Term -> Datum Term

coreEncodeAnnotatedTermDef :: Definition (AnnotatedTerm -> Term)

coreEncodeAnnotatedTypeDef :: Definition (AnnotatedType -> Term)

coreEncodeApplicationDef :: Definition (Application -> Term)

coreEncodeApplicationTypeDef :: Definition (ApplicationType -> Term)

coreEncodeCaseStatementDef :: Definition (CaseStatement -> Term)

coreEncodeEliminationDef :: Definition (Elimination -> Term)

coreEncodeFieldDef :: Definition (Field -> Term)

coreEncodeFieldTypeDef :: Definition (FieldType -> Term)

coreEncodeFloatTypeDef :: Definition (FloatType -> Term)

coreEncodeFloatValueDef :: Definition (FloatValue -> Term)

coreEncodeFunctionDef :: Definition (Function -> Term)

coreEncodeFunctionTypeDef :: Definition (FunctionType -> Term)

coreEncodeInjectionDef :: Definition (Injection -> Term)

coreEncodeIntegerTypeDef :: Definition (IntegerType -> Term)

coreEncodeIntegerValueDef :: Definition (IntegerValue -> Term)

coreEncodeLambdaDef :: Definition (Lambda -> Term)

coreEncodeLambdaTypeDef :: Definition (LambdaType -> Term)

coreEncodeLetDef :: Definition (Let -> Term)

coreEncodeLetBindingDef :: Definition (LetBinding -> Term)

coreEncodeLiteralDef :: Definition (Literal -> Term)

coreEncodeLiteralTypeDef :: Definition (LiteralType -> Term)

coreEncodeMapTypeDef :: Definition (MapType -> Term)

coreEncodeNameDef :: Definition (Name -> Term)

coreEncodeOptionalCasesDef :: Definition (OptionalCases -> Term)

coreEncodeProjectionDef :: Definition (Projection -> Term)

coreEncodeRecordDef :: Definition (Record -> Term)

coreEncodeRowTypeDef :: Definition (RowType -> Term)

coreEncodeSumDef :: Definition (Sum -> Term)

coreEncodeTermDef :: Definition (Term -> Term)

coreEncodeTupleProjectionDef :: Definition (TupleProjection -> Term)

coreEncodeTypeDef :: Definition (Type -> Term)

coreEncodeTypeSchemeDef :: Definition (TypeScheme -> Term)

coreEncodeWrappedTermDef :: Definition (WrappedTerm -> Term)

coreEncodeWrappedTypeDef :: Definition (WrappedType -> Term)