hydra-0.1.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Meta

Description

Functions for working with Meta, the default annotation type in Hydra

Documentation

aggregateAnnotations :: (a -> Maybe (Annotated a Meta)) -> a -> Meta Source #

getAnnotation :: String -> Meta -> Maybe (Term Meta) Source #

getAttr :: String -> Flow s (Maybe (Term Meta)) Source #

getAttrWithDefault :: String -> Term Meta -> Flow s (Term Meta) Source #

getDescription :: Meta -> GraphFlow Meta (Maybe String) Source #

getTermAnnotation :: Context Meta -> String -> Term Meta -> Maybe (Term Meta) Source #

getTermDescription :: Term Meta -> GraphFlow Meta (Maybe String) Source #

getType :: Meta -> GraphFlow Meta (Maybe (Type Meta)) Source #

getTypeDescription :: Type Meta -> GraphFlow Meta (Maybe String) Source #

metaAnnotationClass :: AnnotationClass Meta Source #

metaDescription :: String Source #

metaType :: String Source #

nextCount :: String -> Flow s Int Source #

putAttr :: String -> Term Meta -> Flow s () Source #

setAnnotation :: String -> Maybe (Term Meta) -> Meta -> Meta Source #

setDescription :: Maybe String -> Meta -> Meta Source #

setTermAnnotation :: Context Meta -> String -> Maybe (Term Meta) -> Term Meta -> Term Meta Source #

setTermDescription :: Context Meta -> Maybe String -> Term Meta -> Term Meta Source #

setTermType :: Context Meta -> Maybe (Type Meta) -> Term Meta -> Term Meta Source #

setType :: Maybe (Type Meta) -> Meta -> Meta Source #

setTypeAnnotation :: Context Meta -> String -> Maybe (Term Meta) -> Type Meta -> Type Meta Source #

setTypeDescription :: Context Meta -> Maybe String -> Type Meta -> Type Meta Source #

termMetaInternal :: Term Meta -> Meta Source #

typeMetaInternal :: Type Meta -> Meta Source #