witness-0.7: values that witness types

Safe Haskell	None
Language	GHC2021

Data.Type.Witness.Specific.Empty

Documentation

newtype EmptyType (t :: k) Source #

Constructors

MkEmptyType Void

Instances

Instances details

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

Instance details

Defined in Data.Type.Witness.Specific.Empty

Methods

witnessConstraint :: forall (t :: k). EmptyType t -> Dict (c t) Source #

TestEquality (EmptyType :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

Methods

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

FiniteWitness (EmptyType :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

Methods

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

ListElementWitness (EmptyType :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

Associated Types

type WitnessTypeList (EmptyType :: k -> Type)
Instance details Defined in Data.Type.Witness.Specific.Empty type WitnessTypeList (EmptyType :: k -> Type) = '[] :: [k]

Methods

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

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

TestOrder (EmptyType :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

Methods

testCompare :: forall (a :: k) (b :: k). EmptyType a -> EmptyType b -> WOrdering a b Source #

Representative (EmptyType :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

Methods

getRepWitness :: Subrepresentative (EmptyType :: k -> Type) (EmptyType :: k -> Type) Source #

Countable (EmptyType t) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

Methods

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

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

Empty (EmptyType t) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

Methods

never :: EmptyType t -> a #

Finite (EmptyType t) Source #

Instance details

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) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

Methods

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

Eq (EmptyType t) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

Methods

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

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

type WitnessTypeList (EmptyType :: k -> Type) Source #

Instance details

Defined in Data.Type.Witness.Specific.Empty

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

emptyAllOf :: AllOf (EmptyType :: Type -> Type) Source #

emptyAllFor :: forall {k} (f :: k -> Type). AllFor f (EmptyType :: k -> Type) Source #