Hydra.Sources.Tier2.Basics

Documentation

basicsDefinition :: String -> Datum a -> Definition a

hydraBasicsModule :: Module

eliminationVariantDef :: Definition (Elimination -> EliminationVariant)

eliminationVariantsDef :: Definition [EliminationVariant]

floatTypePrecisionDef :: Definition (FloatType -> Precision)

floatTypesDef :: Definition [FloatType]

floatValueTypeDef :: Definition (FloatValue -> FloatType)

functionVariantDef :: Definition (Function -> FunctionVariant)

functionVariantsDef :: Definition [FunctionVariant]

idDef :: Definition (a -> a)

integerTypeIsSignedDef :: Definition (IntegerType -> Bool)

integerTypePrecisionDef :: Definition (IntegerType -> Precision)

integerTypesDef :: Definition [IntegerType]

integerValueTypeDef :: Definition (IntegerValue -> IntegerType)

literalTypeDef :: Definition (Literal -> LiteralType)

literalTypeVariantDef :: Definition (LiteralType -> LiteralVariant)

literalVariantDef :: Definition (Literal -> LiteralVariant)

literalVariantsDef :: Definition [LiteralVariant]

termVariantDef :: Definition (Term -> TermVariant)

termVariantsDef :: Definition [TermVariant]

typeVariantDef :: Definition (Type -> TypeVariant)

typeVariantsDef :: Definition [TypeVariant]

capitalizeDef :: Definition (String -> String)

decapitalizeDef :: Definition (String -> String)

mapFirstLetterDef :: Definition ((String -> String) -> String -> String)

fieldMapDef :: Definition ([Field] -> Map Name Term)

fieldTypeMapDef :: Definition ([FieldType] -> Map Name Type)

isEncodedTypeDef :: Definition (Term -> Bool)

isTypeDef :: Definition (Type -> Bool)

isUnitTermDef :: Definition (Term -> Bool)

isUnitTypeDef :: Definition (Term -> Bool)

elementsToGraphDef :: Definition (Graph -> Maybe Graph -> [Element] -> Graph)

localNameOfEagerDef :: Definition (Name -> String)

localNameOfLazyDef :: Definition (Name -> String)

namespaceOfEagerDef :: Definition (Name -> Maybe Namespace)

namespaceOfLazyDef :: Definition (Name -> Maybe Namespace)

namespaceToFilePathDef :: Definition (Bool -> FileExtension -> Namespace -> String)

qualifyNameEagerDef :: Definition (Name -> QualifiedName)

qualifyNameLazyDef :: Definition (Name -> QualifiedName)