| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Examples.TypedEncoding.SomeEnc.SomeAnnotation
Description
Internally used existential type for tracking of annotations
This module is re-exported in Data.TypedEncoding and it is best not to import it directly.
Synopsis
- data SomeAnnotation where
- MkSomeAnnotation :: SymbolList xs => Proxy xs -> SomeAnnotation
- withSomeAnnotation :: SomeAnnotation -> (forall xs. SymbolList xs => Proxy xs -> r) -> r
- someAnnValue :: [EncAnn] -> SomeAnnotation
Documentation
data SomeAnnotation where Source #
Since: 0.2.0.0
Constructors
| MkSomeAnnotation :: SymbolList xs => Proxy xs -> SomeAnnotation |
withSomeAnnotation :: SomeAnnotation -> (forall xs. SymbolList xs => Proxy xs -> r) -> r Source #
Since: 0.2.0.0
someAnnValue :: [EncAnn] -> SomeAnnotation Source #
folds over SomeSymbol list @since 0.2.0.0