Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Is (ListType Proxy) (WitnessTypeList w) => ListElementWitness (w :: k -> Type) where Source #
type WitnessTypeList w :: [k] Source #
toListElementWitness :: forall t. w t -> ListElementType (WitnessTypeList w) t Source #
fromListElementWitness :: forall t. ListElementType (WitnessTypeList w) t -> w t Source #