typed-encoding-0.5.0.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

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

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