Data.Type.Witness.Specific.Empty
newtype EmptyType t Source #
Constructors
Defined in Data.Type.Witness.Specific.Empty
Methods
witnessConstraint :: forall (t :: k0). EmptyType t -> Dict (c t) Source #
testEquality :: forall (a :: k0) (b :: k0). EmptyType a -> EmptyType b -> Maybe (a :~: b) #
assembleAllFor :: Applicative m => (forall (t :: k0). EmptyType t -> m (f t)) -> m (AllFor f EmptyType) Source #
Associated Types
type WitnessTypeList EmptyType :: [k] Source #
toListElementWitness :: forall (t :: k0). EmptyType t -> ListElementType (WitnessTypeList EmptyType) t Source #
fromListElementWitness :: forall (t :: k0). ListElementType (WitnessTypeList EmptyType) t -> EmptyType t Source #
testCompare :: forall (a :: k0) (b :: k0). EmptyType a -> EmptyType b -> WOrdering a b Source #
getRepWitness :: Subrepresentative EmptyType EmptyType Source #
countPrevious :: EmptyType t -> Maybe (EmptyType t) #
countMaybeNext :: Maybe (EmptyType t) -> Maybe (EmptyType t) #
never :: EmptyType t -> a #
allValues :: [EmptyType t] #
assemble :: forall b f. Applicative f => (EmptyType t -> f b) -> f (EmptyType t -> b) #
search :: (EmptyType t -> Maybe b) -> Maybe b #
(==) :: EmptyType t -> EmptyType t -> Bool #
(/=) :: EmptyType t -> EmptyType t -> Bool #
emptyAllOf :: AllOf EmptyType Source #
emptyAllFor :: AllFor f EmptyType Source #