Hydra.Basics

A tier-2 module of basic functions for working with types and terms.

Documentation

eliminationVariant :: Elimination -> EliminationVariant

Find the elimination variant (constructor) for a given elimination term

eliminationVariants :: [EliminationVariant]

All elimination variants (constructors), in a canonical order

floatTypePrecision :: FloatType -> Precision

Find the precision of a given floating-point type

floatTypes :: [FloatType]

All floating-point types in a canonical order

floatValueType :: FloatValue -> FloatType

Find the float type for a given floating-point value

functionVariant :: Function -> FunctionVariant

Find the function variant (constructor) for a given function

functionVariants :: [FunctionVariant]

All function variants (constructors), in a canonical order

id_ :: a -> a

The identity function

integerTypeIsSigned :: IntegerType -> Bool

Find whether a given integer type is signed (true) or unsigned (false)

integerTypePrecision :: IntegerType -> Precision

Find the precision of a given integer type

integerTypes :: [IntegerType]

All integer types, in a canonical order

integerValueType :: IntegerValue -> IntegerType

Find the integer type for a given integer value

literalType :: Literal -> LiteralType

Find the literal type for a given literal value

literalTypeVariant :: LiteralType -> LiteralVariant

Find the literal type variant (constructor) for a given literal value

literalVariant :: Literal -> LiteralVariant

Find the literal variant (constructor) for a given literal value

literalVariants :: [LiteralVariant]

All literal variants, in a canonical order

termVariant :: Term -> TermVariant

Find the term variant (constructor) for a given term

termVariants :: [TermVariant]

All term (expression) variants, in a canonical order

typeVariant :: Type -> TypeVariant

Find the type variant (constructor) for a given type

typeVariants :: [TypeVariant]

All type variants, in a canonical order

capitalize :: String -> String

Capitalize the first letter of a string

decapitalize :: String -> String

Decapitalize the first letter of a string

mapFirstLetter :: (String -> String) -> String -> String

A helper which maps the first letter of a string to another string

fieldMap :: [Field] -> Map Name Term

fieldTypeMap :: [FieldType] -> Map Name Type

isEncodedType :: Term -> Bool

isType :: Type -> Bool

isUnitTerm :: Term -> Bool

isUnitType :: Type -> Bool

elementsToGraph :: Graph -> Maybe Graph -> [Element] -> Graph

localNameOfEager :: Name -> String

localNameOfLazy :: Name -> String

namespaceOfEager :: Name -> Maybe Namespace

namespaceOfLazy :: Name -> Maybe Namespace

namespaceToFilePath :: Bool -> FileExtension -> Namespace -> String

qualifyNameEager :: Name -> QualifiedName

qualifyNameLazy :: Name -> QualifiedName