uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Core.Classes.Constraints

Documentation

class U a Source #

Instances

Instances details
U (a :: k) Source # 
Instance details

Defined in UVMHS.Core.Classes.Constraints

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

Instances

Instances details
(c₁ a, c₂ a) => ((c₁ :: k -> Constraint) :∧: (c₂ :: k -> Constraint)) (a :: k) Source # 
Instance details

Defined in UVMHS.Core.Classes.Constraints

class t (u a) => (t :∘: u) a infixl 7 Source #

Instances

Instances details
t (u a) => ((t :: k1 -> Constraint) :∘: (u :: k2 -> k1)) (a :: k2) Source # 
Instance details

Defined in UVMHS.Core.Classes.Constraints

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

Methods

impl :: W c₁ -> W c₂ Source #

type FCoercibleRel t t' = forall x x'. Coercible x x' => Coercible (t x) (t' x') :: Constraint 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 #