Hydra.Annotations

Functions for working with term and type annotations

Documentation

key_classes :: String

key_description :: String

key_type :: String

aggregateAnnotations :: (x -> Maybe y) -> (y -> x) -> (y -> Map String Term) -> x -> Map String Term

failOnFlag :: String -> String -> Flow s ()

getAttr :: String -> Flow s (Maybe Term)

getAttrWithDefault :: String -> Term -> Flow s Term

getDescription :: Map String Term -> Flow Graph (Maybe String)

getTermAnnotation :: String -> Term -> Maybe Term

getTermDescription :: Term -> Flow Graph (Maybe String)

getType :: Map String Term -> Flow Graph (Maybe Type)

getTypeAnnotation :: String -> Type -> Maybe Term

getTypeClasses :: Type -> Flow Graph (Map Name (Set TypeClass))

getTypeDescription :: Type -> Flow Graph (Maybe String)

hasFlag :: String -> Flow s Bool

nextCount :: String -> Flow s Int

Return a zero-indexed counter for the given key: 0, 1, 2, ...

resetCount :: String -> Flow s ()

normalizeTermAnnotations :: Term -> Term

normalizeTypeAnnotations :: Type -> Type

putAttr :: String -> Term -> Flow s ()

setAnnotation :: String -> Maybe Term -> Map String Term -> Map String Term

setDescription :: Maybe String -> Map String Term -> Map String Term

setTermAnnotation :: String -> Maybe Term -> Term -> Term

setTermDescription :: Maybe String -> Term -> Term

setTermType :: Maybe Type -> Term -> Term

setType :: Maybe Type -> Map String Term -> Map String Term

setTypeAnnotation :: String -> Maybe Term -> Type -> Type

setTypeClasses :: Map Name (Set TypeClass) -> Type -> Type

setTypeDescription :: Maybe String -> Type -> Type

termAnnotationInternal :: Term -> Map String Term

typeAnnotationInternal :: Type -> Map String Term

whenFlag :: String -> Flow s a -> Flow s a -> Flow s a

unshadowVariables :: Term -> Term