typed-encoding-0.3.0.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Common.Types.SomeAnnotation

Description

internally used existential type for taking track of annotations

Documentation

data SomeAnnotation where Source #

Constructors

MkSomeAnnotation :: SymbolList xs => Proxy xs -> SomeAnnotation 

withSomeAnnotation :: SomeAnnotation -> (forall xs. SymbolList xs => Proxy xs -> r) -> r Source #

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