Documentation

class U (a :: k) Source #

class (c₁ a, c₂ a) => ((c₁ :: k -> Constraint) :∧: (c₂ :: k -> Constraint)) (a :: k) infixl 3 Source #

class t (u a) => ((t :: k -> Constraint) :∘: (u :: k1 -> k)) (a :: k1) infixl 7 Source #

class c₁ :⇒: c₂ where infixr 1 Source #

type FCoercibleRel (t :: k -> k1) (t' :: k -> k1) = forall (x :: k) (x' :: k). Coercible x x' => Coercible (t x) (t' x') Source #

type FCoercible (t :: k -> k1) = FCoercibleRel t t Source #

fcoercibleW_UNSAFE :: forall {k1} {k2} (m :: k1 -> k2). W (FCoercible m) Source #

type Func (c :: Type -> Constraint) (t :: Type -> Type) = forall x. c x => c (t x) Source #

type Const (c :: Type -> Constraint) (t :: Type -> Type) = forall x. c (t x) Source #