Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (c₁ a, c₂ a) => (c₁ :∧: c₂) a infixl 3 Source #
Instances
(c₁ a, c₂ a) => ((c₁ :: k -> Constraint) :∧: (c₂ :: k -> Constraint)) (a :: k) Source # | |
Defined in UVMHS.Core.Classes.Constraints |
class t (u a) => (t :∘: u) a infixl 7 Source #
Instances
t (u a) => ((t :: k1 -> Constraint) :∘: (u :: k2 -> k1)) (a :: k2) Source # | |
Defined in UVMHS.Core.Classes.Constraints |
type FCoercibleRel t t' = forall x x'. Coercible x x' => Coercible (t x) (t' x') :: Constraint Source #
type FCoercible t = FCoercibleRel t t Source #
fcoercibleW_UNSAFE :: W (FCoercible m) Source #
type Func (c :: ★ -> Constraint) (t :: ★ -> ★) = forall x. c x => c (t x) :: Constraint Source #
type Const (c :: ★ -> Constraint) (t :: ★ -> ★) = forall x. c (t x) :: Constraint Source #