| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.TypedEncoding.Common.Types.SomeAnnotation
Description
internally used existential type for taking track of annotations
Synopsis
- data SomeAnnotation where
- MkSomeAnnotation :: SymbolList xs => Proxy xs -> SomeAnnotation
- withSomeAnnotation :: SomeAnnotation -> (forall xs. SymbolList xs => Proxy xs -> r) -> r
- someAnnValue :: [EncAnn] -> SomeAnnotation
- proxyCons :: forall (x :: Symbol) (xs :: [Symbol]). Proxy x -> Proxy xs -> Proxy (x ': xs)
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 using withSomeSymbol and proxyCons @since 0.2.0.0