Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

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*

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