Hydra.Annotations

Functions for working with term and type annotations

Documentation

key_classes :: Name

key_description :: Name

key_type :: Name

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

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

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

getAttrWithDefault :: Name -> Term -> Flow s Term

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

getTermAnnotation :: Name -> Term -> Maybe Term

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

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

getTypeAnnotation :: Name -> Type -> Maybe Term

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

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

hasFlag :: Name -> Flow s Bool

nextCount :: Name -> Flow s Int

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

resetCount :: Name -> Flow s ()

normalizeTermAnnotations :: Term -> Term

normalizeTypeAnnotations :: Type -> Type

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

setAnnotation :: Name -> Maybe Term -> Map Name Term -> Map Name Term

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

setTermAnnotation :: Name -> Maybe Term -> Term -> Term

setTermDescription :: Maybe String -> Term -> Term

setTermType :: Maybe Type -> Term -> Term

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

setTypeAnnotation :: Name -> Maybe Term -> Type -> Type

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

setTypeDescription :: Maybe String -> Type -> Type

termAnnotationInternal :: Term -> Map Name Term

typeAnnotationInternal :: Type -> Map Name Term

whenFlag :: Name -> Flow s a -> Flow s a -> Flow s a

unshadowVariables :: Term -> Term