witness-0.7: values that witness types

Safe Haskell	None
Language	GHC2021

Data.Type.Witness.Specific.Either

Documentation

data EitherType (w1 :: k -> Type) (w2 :: k -> Type) (t :: k) Source #

Constructors

LeftType (w1 t)
RightType (w2 t)

Instances

Instances details

(AllConstraint Show p, AllConstraint Show q) => AllConstraint Show (EitherType p q :: kt -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Either

Methods

allConstraint :: forall (t :: kt). Dict (Show (EitherType p q t)) Source #

(WitnessConstraint c p, WitnessConstraint c q) => WitnessConstraint (c :: k -> Constraint) (EitherType p q :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Either

Methods

witnessConstraint :: forall (t :: k). EitherType p q t -> Dict (c t) Source #

(TestEquality w1, TestEquality w2) => TestEquality (EitherType w1 w2 :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Either

Methods

testEquality :: forall (a :: k) (b :: k). EitherType w1 w2 a -> EitherType w1 w2 b -> Maybe (a :~: b) #

(FiniteWitness p, FiniteWitness q) => FiniteWitness (EitherType p q :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Either

Methods

assembleAllFor :: Applicative m => (forall (t :: k). EitherType p q t -> m (f t)) -> m (AllFor f (EitherType p q)) 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 -> Type)
Instance details Defined in Data.Type.Witness.Specific.Either type WitnessTypeList (ConsType a lt :: k -> Type) = a ': WitnessTypeList lt

Methods

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

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

(Show (p t), Show (q t)) => Show (EitherType p q t) Source #

Instance details

Defined in Data.Type.Witness.Specific.Either

Methods

showsPrec :: Int -> EitherType p q t -> ShowS #

show :: EitherType p q t -> String #

showList :: [EitherType p q t] -> ShowS #

type WitnessTypeList (ConsType a lt :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Either

type WitnessTypeList (ConsType a lt :: k -> Type) = a ': WitnessTypeList lt

eitherAllOf :: forall (sel1 :: Type -> Type) (sel2 :: Type -> Type). AllOf sel1 -> AllOf sel2 -> AllOf (EitherType sel1 sel2) Source #

eitherAllFor :: forall {k} (f :: k -> Type) (sel1 :: k -> Type) (sel2 :: k -> Type). AllFor f sel1 -> AllFor f sel2 -> AllFor f (EitherType sel1 sel2) Source #

type ConsType (a :: k) = EitherType (SingleType a) Source #