Module

Polyform

Package: purescript-polyform
Repository: purescript-polyform/polyform

Re-exports from Polyform.Dual

#DualD Source

data DualD p s i o o'

Constructors

DualD (p i o') (o -> s i)

Instances

(Functor (p i)) => Functor (DualD p s i o)
(Apply (p i), Applicative s, Semigroup i) => Apply (DualD p s i o')
(Applicative (p i), Applicative s, Monoid i) => Applicative (DualD p s i o')
(Alt (p i)) => Alt (DualD p s i o')
(Plus (p i), Alt (p i), Monoid (s i)) => Plus (DualD p s i o')
(Functor (p i)) => Profunctor (DualD p s i)
(Lazy (p i o')) => Lazy (DualD p s i o o')

#Dual Source

newtype Dual p s i o

Dual turns DualD into Invariant (it differs from Join).

Constructors

Dual (DualD p s i o o)

Instances

Newtype (Dual p s i o) _
(Functor (p i)) => Invariant (Dual p s i)
(Monad s, Semigroupoid p) => Semigroupoid (Dual p s)
(Category p, Monad s) => Category (Dual p s)
(Lazy (p i o)) => Lazy (Dual p s i o)

Re-exports from Polyform.Reporter

#Reporter Source

newtype Reporter m r i o

Constructors

Reporter (Star (MaybeT (WriterT r m)) i o)

Instances

Newtype (Reporter m r i b) _
(Functor m) => Functor (Reporter m e i)
(Monad m, Monoid e) => Apply (Reporter m e i)
(Monad m, Monoid e) => Applicative (Reporter m e i)
(Functor m) => Profunctor (Reporter m e)
(Monoid e, Monad m) => Choice (Reporter m e)
(Monad m, Semigroup e) => Strong (Reporter m e)
(Monad m, Monoid r) => Alt (Reporter m r i)
(Monad m, Monoid r) => Plus (Reporter m r i)
(Monad m, Monoid r, Monoid o) => Semigroup (Reporter m r i o)
(Monad m, Monoid r, Monoid o) => Monoid (Reporter m r i o)
(Monad m, Monoid r) => Semigroupoid (Reporter m r)
(Monad m, Monoid r) => Category (Reporter m r)
Lazy (Reporter m r i o)

Re-exports from Polyform.Validator

#Validator Source

newtype Validator m e i o

Constructors

Validator (Star (Compose m (V e)) i o)

Instances

Newtype (Validator m r i o) _
(Applicative m) => Functor (Validator m e i)
(Applicative m, Semigroup e) => Apply (Validator m e i)
(Applicative m, Semigroup e) => Applicative (Validator m e i)
(Functor m) => Profunctor (Validator m e)
(Semigroup e, Applicative m) => Choice (Validator m e)
(Monad m, Semigroup e) => Strong (Validator m e)
(Semigroup e, Monad m) => Alt (Validator m e i)
(Monad m, Monoid e) => Plus (Validator m e i)
(Apply m, Semigroup e, Semigroup o) => Semigroup (Validator m e i o)
(Applicative m, Monoid e, Monoid o) => Monoid (Validator m e i o)
(Monad m, Semigroup e) => Semigroupoid (Validator m e)
(Monad m, Semigroup e) => Category (Validator m e)
Lazy (Validator m r i o)