Data.Type.Witness.Specific.Empty

Documentation

newtype EmptyType t

Constructors

MkEmptyType Void

Instances

WitnessConstraint (c :: k -> Constraint) (EmptyType :: k -> Type)

Defined in Data.Type.Witness.Specific.Empty

Methods

witnessConstraint :: forall (t :: k0). EmptyType t -> Dict (c t)

TestEquality (EmptyType :: k -> Type)

Defined in Data.Type.Witness.Specific.Empty

Methods

testEquality :: forall (a :: k0) (b :: k0). EmptyType a -> EmptyType b -> Maybe (a :~: b)

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)

ListElementWitness (EmptyType :: k -> Type)

Defined in Data.Type.Witness.Specific.Empty

Associated Types

type WitnessTypeList EmptyType :: [k]

Methods

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

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

TestOrder (EmptyType :: k -> Type)

Defined in Data.Type.Witness.Specific.Empty

Methods

testCompare :: forall (a :: k0) (b :: k0). EmptyType a -> EmptyType b -> WOrdering a b

Representative (EmptyType :: k -> Type)

Defined in Data.Type.Witness.Specific.Empty

Methods

getRepWitness :: Subrepresentative EmptyType EmptyType

Countable (EmptyType t)

Defined in Data.Type.Witness.Specific.Empty

Methods

countPrevious :: EmptyType t -> Maybe (EmptyType t)

countMaybeNext :: Maybe (EmptyType t) -> Maybe (EmptyType t)

Empty (EmptyType t)

Defined in Data.Type.Witness.Specific.Empty

Methods

never :: EmptyType t -> a

Finite (EmptyType t)

Defined in Data.Type.Witness.Specific.Empty

Methods

allValues :: [EmptyType t]

assemble :: forall b f. Applicative f => (EmptyType t -> f b) -> f (EmptyType t -> b)

Searchable (EmptyType t)

Defined in Data.Type.Witness.Specific.Empty

Methods

search :: (EmptyType t -> Maybe b) -> Maybe b

Eq (EmptyType t)

Defined in Data.Type.Witness.Specific.Empty

Methods

(==) :: EmptyType t -> EmptyType t -> Bool

(/=) :: EmptyType t -> EmptyType t -> Bool

type WitnessTypeList (EmptyType :: k -> Type)

Defined in Data.Type.Witness.Specific.Empty

type WitnessTypeList (EmptyType :: k -> Type) = '[] :: [k]

emptyAllOf :: AllOf EmptyType

emptyAllFor :: AllFor f EmptyType