Row.Extra

data Abyss :: forall k. kdata Abyss

The abyss gazes back into thee...

class IsEqual :: forall k. k -> k -> Boolean -> Constraintclass IsEqual a b r | a b -> r

A type class similar to TypeEquals, except with a Boolean.

Instances

• IsEqual a a True
• IsEqual a b False

class Lacks :: forall k. Symbol -> Row k -> Boolean -> Constraintclass Lacks i r b | i r -> b

A type class similar to Prim.Row.Lacks, except with a Boolean.

Instances

• (Cons i Abyss () abyssful, Union r abyssful r', Cons i abyss abyssless r', IsEqual abyss Abyss isAbsent) => Lacks i r isAbsent