Data.TypedEncoding.Internal.Types.SomeAnnotation

internally used existential type for taking track of annotations

Documentation

data SomeAnnotation where

Constructors

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)