FP.Prelude.Constraints

Documentation

data W c where

Constructors

W :: c => W c

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

class Universal a

Instances

Universal k a

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

Instances

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

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

Instances

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

class c1 :⇒: c2 where infixr 3

Methods

impl :: c1 => W c2

class Polymorphic c t where

Methods

polymorphic :: W (c (t a))

Instances

Functorial * JoinLattice ς => Polymorphic * * JoinLattice (NondetJoinΠ ς)

Polymorphic * * JoinLattice m => Polymorphic * * JoinLattice (PolyStateT s m)

Polymorphic * * JoinLattice ς => Polymorphic * * JoinLattice (PolyStateΠ s ς)

Functorial * JoinLattice ς => Polymorphic * * JoinLattice (FlowJoinΠ s ς)

class Functorial c t where

Methods

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

Instances

Functorial * Monoid ID

Functorial * JoinLattice ID

Functorial * Meet ID

Functorial * Top ID

Functorial * Join ID

Functorial * Bot ID

Functorial * POrd ID

Monoid a => Functorial * Monoid ((,) a)

JoinLattice a => Functorial * JoinLattice ((,) a)

Pretty n => Functorial * Pretty (PreExp n)

(Functorial * JoinLattice ς, JoinLattice s) => Functorial * JoinLattice (StateΠ s ς)

class OrdPolymorphic c t where

Methods

ordPolymorphic :: Ord a => W (c (t a))

Instances

OrdFunctorial POrd ς => OrdPolymorphic * POrd (NondetJoinΠ ς)

(OrdPolymorphic * POrd ς, Ord s) => OrdPolymorphic * POrd (PolyStateΠ s ς)

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

class OrdFunctorial c t where

Methods

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

Instances

OrdFunctorial POrd ID

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

class Bifunctorial c t where

Methods

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

Instances

Bifunctorial * Eq (,)

Bifunctorial * Ord (,)

Bifunctorial * POrd (,)

module GHC.Exts