Safe Haskell	None
Language	Haskell2010

FP.Prelude.Constraints

Documentation

data W c where Source

Constructors

W :: c => W c

with :: W c -> (c => a) -> a Source

Instances

class (c1 a, c2 a) => (c1 :∧: c2) a infixr 5 Source

Instances

(c1 a, c2 a) => (:∧:) k c1 c2 a Source

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

Instances

t (u a) => (:∘:) k k t u a Source

class c1 :⇒: c2 where infixr 3 Source

Methods

impl :: c1 => W c2 Source

Methods

Instances

Functorial * JoinLattice ς => Polymorphic * * JoinLattice (NondetJoinΠ ς) Source
Polymorphic * * JoinLattice m => Polymorphic * * JoinLattice (PolyStateT s m) Source
Polymorphic * * JoinLattice ς => Polymorphic * * JoinLattice (PolyStateΠ s ς) Source
Functorial * JoinLattice ς => Polymorphic * * JoinLattice (FlowJoinΠ s ς) Source

class Functorial c t where Source

Methods

functorial :: c a => W (c (t a)) Source

Instances

Functorial * Monoid ID Source
Functorial * JoinLattice ID Source
Functorial * Meet ID Source
Functorial * Top ID Source
Functorial * Join ID Source
Functorial * Bot ID Source
Functorial * POrd ID Source
Monoid a => Functorial * Monoid ((,) a) Source
JoinLattice a => Functorial * JoinLattice ((,) a) Source
Pretty n => Functorial * Pretty (PreExp n) Source
(Functorial * JoinLattice ς, JoinLattice s) => Functorial * JoinLattice (StateΠ s ς) Source

Methods

Instances

OrdFunctorial POrd ς => OrdPolymorphic * POrd (NondetJoinΠ ς) Source
(OrdPolymorphic * POrd ς, Ord s) => OrdPolymorphic * POrd (PolyStateΠ s ς) Source
(OrdFunctorial POrd ς, POrd s, JoinLattice s, Ord s) => OrdPolymorphic * POrd (FlowJoinΠ s ς) Source

Methods

ordFunctorial :: (Ord a, c a) => W (c (t a)) Source

Instances

OrdFunctorial POrd ID Source
(OrdFunctorial POrd ς, POrd s, Ord s) => OrdFunctorial POrd (StateΠ s ς) Source

Methods

bifunctorial :: (c a, c b) => W (c (t a b)) Source

Instances