witness-0.6.2: values that witness types
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Type.Witness.General.ListElement

Documentation

class Is (ListType Proxy) (WitnessTypeList w) => ListElementWitness (w :: k -> Type) where Source #

Associated Types

type WitnessTypeList w :: [k] Source #

Methods

toListElementWitness :: forall t. w t -> ListElementType (WitnessTypeList w) t Source #

fromListElementWitness :: forall t. ListElementType (WitnessTypeList w) t -> w t Source #

Instances

Instances details
ListElementWitness (EmptyType :: k -> Type) Source # 
Instance details

Defined in Data.Type.Witness.Specific.Empty

Associated Types

type WitnessTypeList EmptyType :: [k] Source #

Methods

toListElementWitness :: forall (t :: k0). EmptyType t -> ListElementType (WitnessTypeList EmptyType) t Source #

fromListElementWitness :: forall (t :: k0). ListElementType (WitnessTypeList EmptyType) t -> EmptyType t Source #

Is (ListType (Proxy :: k -> Type)) tt => ListElementWitness (ListElementType tt :: k -> Type) Source # 
Instance details

Defined in Data.Type.Witness.General.ListElement

Associated Types

type WitnessTypeList (ListElementType tt) :: [k] Source #

Methods

toListElementWitness :: forall (t :: k0). ListElementType tt t -> ListElementType (WitnessTypeList (ListElementType tt)) t Source #

fromListElementWitness :: forall (t :: k0). ListElementType (WitnessTypeList (ListElementType tt)) t -> ListElementType tt t Source #

ListElementWitness lt => ListElementWitness (ConsType a lt :: k -> Type) Source # 
Instance details

Defined in Data.Type.Witness.Specific.Either

Associated Types

type WitnessTypeList (ConsType a lt) :: [k] Source #

Methods

toListElementWitness :: forall (t :: k0). ConsType a lt t -> ListElementType (WitnessTypeList (ConsType a lt)) t Source #

fromListElementWitness :: forall (t :: k0). ListElementType (WitnessTypeList (ConsType a lt)) t -> ConsType a lt t Source #