Hydra.Sources.Tier2.Basics

Documentation

basicsDefinition :: String -> TTerm a -> TElement a

hydraBasicsModule :: Module

eliminationVariantDef :: TElement (Elimination -> EliminationVariant)

eliminationVariantsDef :: TElement [EliminationVariant]

floatTypePrecisionDef :: TElement (FloatType -> Precision)

floatTypesDef :: TElement [FloatType]

floatValueTypeDef :: TElement (FloatValue -> FloatType)

functionVariantDef :: TElement (Function -> FunctionVariant)

functionVariantsDef :: TElement [FunctionVariant]

idDef :: TElement (a -> a)

integerTypeIsSignedDef :: TElement (IntegerType -> Bool)

integerTypePrecisionDef :: TElement (IntegerType -> Precision)

integerTypesDef :: TElement [IntegerType]

integerValueTypeDef :: TElement (IntegerValue -> IntegerType)

literalTypeDef :: TElement (Literal -> LiteralType)

literalTypeVariantDef :: TElement (LiteralType -> LiteralVariant)

literalVariantDef :: TElement (Literal -> LiteralVariant)

literalVariantsDef :: TElement [LiteralVariant]

termVariantDef :: TElement (Term -> TermVariant)

termVariantsDef :: TElement [TermVariant]

typeVariantDef :: TElement (Type -> TypeVariant)

typeVariantsDef :: TElement [TypeVariant]

capitalizeDef :: TElement (String -> String)

decapitalizeDef :: TElement (String -> String)

mapFirstLetterDef :: TElement ((String -> String) -> String -> String)

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

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

isEncodedTypeDef :: TElement (Term -> Bool)

isTypeDef :: TElement (Type -> Bool)

isUnitTermDef :: TElement (Term -> Bool)

isUnitTypeDef :: TElement (Term -> Bool)

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

localNameOfEagerDef :: TElement (Name -> String)

localNameOfLazyDef :: TElement (Name -> String)

namespaceOfEagerDef :: TElement (Name -> Maybe Namespace)

namespaceOfLazyDef :: TElement (Name -> Maybe Namespace)

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

qualifyNameEagerDef :: TElement (Name -> QualifiedName)

qualifyNameLazyDef :: TElement (Name -> QualifiedName)