typed-encoding-0.3.0.2: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Common.Types.SomeAnnotation

Description

internally used existential type for taking track of annotations

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 using withSomeSymbol and proxyCons @since 0.2.0.0

proxyCons :: forall (x :: Symbol) (xs :: [Symbol]). Proxy x -> Proxy xs -> Proxy (x ': xs) Source #

Since: 0.2.0.0