Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Data.TypedEncoding.Internal.Types.SomeAnnotation
Description
internally used existential type for taking track of annotations
Documentation
data SomeAnnotation where Source #
Constructors
MkSomeAnnotation :: SymbolList xs => Proxy xs -> SomeAnnotation |
withSomeAnnotation :: SomeAnnotation -> (forall xs. SymbolList xs => Proxy xs -> r) -> r Source #
someAnnValue :: [EncAnn] -> SomeAnnotation Source #