Data.Type.Witness.General.Finite

Documentation

class FiniteWitness (w :: k -> Type) where

Methods

assembleAllFor :: forall (m :: Type -> Type) (f :: k -> Type). Applicative m => (forall (t :: k). w t -> m (f t)) -> m (AllFor f w)

Instances

FiniteWitness (EmptyType :: k -> Type)

Defined in Data.Type.Witness.Specific.Empty

Methods

assembleAllFor :: Applicative m => (forall (t :: k0). EmptyType t -> m (f t)) -> m (AllFor f EmptyType)

FiniteWitness ((:~:) t :: k -> Type)

Defined in Data.Type.Witness.General.Finite

Methods

assembleAllFor :: Applicative m => (forall (t0 :: k0). (t :~: t0) -> m (f t0)) -> m (AllFor f ((:~:) t))

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

Defined in Data.Type.Witness.Specific.Either

Methods

assembleAllFor :: Applicative m => (forall (t :: k0). EitherType p q t -> m (f t)) -> m (AllFor f (EitherType p q))

allWitnesses :: FiniteWitness w => [Some w]

allForCodomain :: FiniteWitness w => AllFor f w -> [Some f]

assembleAllOf :: (FiniteWitness w, Applicative m) => (forall t. w t -> m t) -> m (AllOf w)

Orphan instances

(FiniteWitness w, AllConstraint Show w, WitnessConstraint Show w) => Show (AllOf w)

Methods

showsPrec :: Int -> AllOf w -> ShowS

show :: AllOf w -> String

showList :: [AllOf w] -> ShowS

(TestEquality w, FiniteWitness w) => Countable (Some w)

Methods

countPrevious :: Some w -> Maybe (Some w)

countMaybeNext :: Maybe (Some w) -> Maybe (Some w)

(TestEquality w, FiniteWitness w) => Finite (Some w)

Methods

allValues :: [Some w]

assemble :: forall b f. Applicative f => (Some w -> f b) -> f (Some w -> b)

(TestEquality w, FiniteWitness w) => Searchable (Some w)

Methods

search :: (Some w -> Maybe b) -> Maybe b