Hydra.Extras

Basic functions which depend on primitive functions

Documentation

functionArity :: Function -> Int

lookupPrimitive :: Graph -> Name -> Maybe Primitive

primitiveArity :: Primitive -> Int

Find the arity (expected number of arguments) of a primitive constant or function

qname :: Namespace -> String -> Name

Construct a qualified (dot-separated) name

termArity :: Term -> Int

typeArity :: Type -> Int

uncurryType :: Type -> [Type]

Uncurry a type expression into a list of types, turning a function type a -> b into cons a (uncurryType b)

getAnnotation :: Name -> Map Name Term -> Maybe Term