Documentation

data Key (a :: k) Source #

newKey :: forall {k} (a :: k). IO (Key a) Source #

eqKey :: forall {k1} {k2} (a :: k1) (b :: k2). Key a -> Key b -> Maybe (a :~~: b) Source #