Hydra.Common

Common functions for working with terms, types, and names

Documentation

debug :: Bool

convertFloatValue :: FloatType -> FloatValue -> FloatValue

convertIntegerValue :: IntegerType -> IntegerValue -> IntegerValue

elementsToGraph :: Maybe (Graph m) -> [Element m] -> Graph m

fromQname :: Namespace -> String -> Name

namespaceToFilePath :: Bool -> FileExtension -> Namespace -> FilePath

isEncodedType :: Eq m => Context m -> Term m -> Bool

isType :: Eq m => Context m -> Type m -> Bool

localNameOfLazy :: Name -> String

localNameOfEager :: Name -> String

namespaceOfLazy :: Name -> Namespace

namespaceOfEager :: Name -> Namespace

placeholderName :: Name

skipAnnotations :: (a -> Maybe (Annotated a m)) -> a -> a

stripTerm :: Term m -> Term m

stripType :: Type m -> Type m

termMeta :: Context m -> Term m -> m

toQnameLazy :: Name -> (Namespace, String)

toQnameEager :: Name -> (Namespace, String)

typeMeta :: Context m -> Type m -> m

unitTypeName :: Name