Pandora.Paradigm.Basis.Identity

Documentation

newtype Identity a

Constructors

Identity a

Instances

Covariant Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

(<$>) :: (a -> b) -> Identity a -> Identity b

comap :: (a -> b) -> Identity a -> Identity b

(<$) :: a -> Identity b -> Identity a

($>) :: Identity a -> b -> Identity b

void :: Identity a -> Identity ()

loeb :: Identity (Identity a -> a) -> Identity a

(<&>) :: Identity a -> (a -> b) -> Identity b

(<$$>) :: Covariant u => (a -> b) -> ((Identity :.: u) >< a) -> (Identity :.: u) >< b

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Identity :.: (u :.: v)) >< a) -> (Identity :.: (u :.: v)) >< b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Identity :.: (u :.: (v :.: w))) >< a) -> (Identity :.: (u :.: (v :.: w))) >< b

(<&&>) :: Covariant u => ((Identity :.: u) >< a) -> (a -> b) -> (Identity :.: u) >< b

(<&&&>) :: (Covariant u, Covariant v) => ((Identity :.: (u :.: v)) >< a) -> (a -> b) -> (Identity :.: (u :.: v)) >< b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Identity :.: (u :.: (v :.: w))) >< a) -> (a -> b) -> (Identity :.: (u :.: (v :.: w))) >< b

Bindable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

(>>=) :: Identity a -> (a -> Identity b) -> Identity b

(=<<) :: (a -> Identity b) -> Identity a -> Identity b

bind :: (a -> Identity b) -> Identity a -> Identity b

join :: ((Identity :.: Identity) >< a) -> Identity a

(>=>) :: (a -> Identity b) -> (b -> Identity c) -> a -> Identity c

(<=<) :: (b -> Identity c) -> (a -> Identity b) -> a -> Identity c

Applicative Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

(<*>) :: Identity (a -> b) -> Identity a -> Identity b

apply :: Identity (a -> b) -> Identity a -> Identity b

(*>) :: Identity a -> Identity b -> Identity b

(<*) :: Identity a -> Identity b -> Identity a

forever :: Identity a -> Identity b

(<**>) :: Applicative u => ((Identity :.: u) >< (a -> b)) -> ((Identity :.: u) >< a) -> (Identity :.: u) >< b

(<***>) :: (Applicative u, Applicative v) => ((Identity :.: (u :.: v)) >< (a -> b)) -> ((Identity :.: (u :.: v)) >< a) -> (Identity :.: (u :.: v)) >< b

(<****>) :: (Applicative u, Applicative v, Applicative w) => ((Identity :.: (u :.: (v :.: w))) >< (a -> b)) -> ((Identity :.: (u :.: (v :.: w))) >< a) -> (Identity :.: (u :.: (v :.: w))) >< b

Distributive Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

(>>-) :: Covariant t => t a -> (a -> Identity b) -> (Identity :.: t) >< b

collect :: Covariant t => (a -> Identity b) -> t a -> (Identity :.: t) >< b

distribute :: Covariant t => ((t :.: Identity) >< a) -> (Identity :.: t) >< a

(>>>-) :: (Covariant t, Covariant v) => ((t :.: v) >< a) -> (a -> Identity b) -> (Identity :.: (t :.: v)) >< b

(>>>>-) :: (Covariant t, Covariant v, Covariant w) => ((t :.: (v :.: w)) >< a) -> (a -> Identity b) -> (Identity :.: (t :.: (v :.: w))) >< b

(>>>>>-) :: (Covariant t, Covariant v, Covariant w, Covariant j) => ((t :.: (v :.: (w :.: j))) >< a) -> (a -> Identity b) -> (Identity :.: (t :.: (v :.: (w :.: j)))) >< b

Extendable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

(=>>) :: Identity a -> (Identity a -> b) -> Identity b

(<<=) :: (Identity a -> b) -> Identity a -> Identity b

extend :: (Identity a -> b) -> Identity a -> Identity b

duplicate :: Identity a -> (Identity :.: Identity) >< a

(=<=) :: (Identity b -> c) -> (Identity a -> b) -> Identity a -> c

(=>=) :: (Identity a -> b) -> (Identity b -> c) -> Identity a -> c

Extractable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

extract :: Identity a -> a

Comonad Identity

Defined in Pandora.Paradigm.Basis.Identity

Pointable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

point :: a -> Identity a

Monad Identity

Defined in Pandora.Paradigm.Basis.Identity

Traversable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

(->>) :: (Pointable u, Applicative u) => Identity a -> (a -> u b) -> (u :.: Identity) >< b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Identity a -> (u :.: Identity) >< b

sequence :: (Pointable u, Applicative u) => (Identity :.: u) a -> (u :.: Identity) >< a

(->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :.: Identity) >< a) -> (a -> u b) -> (u :.: (v :.: Identity)) >< b

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :.: (v :.: Identity)) >< a) -> (a -> u b) -> (u :.: (w :.: (v :.: Identity))) >< b

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :.: (w :.: (v :.: Identity))) >< a) -> (a -> u b) -> (u :.: (j :.: (w :.: (v :.: Identity)))) >< b

Adjoint Identity Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

phi :: (Identity a -> b) -> a -> Identity b

psi :: (a -> Identity b) -> Identity a -> b

eta :: a -> (Identity :.: Identity) >< a

epsilon :: ((Identity :.: Identity) >< a) -> a

Semigroup a => Semigroup (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

(+) :: Identity a -> Identity a -> Identity a

Ringoid a => Ringoid (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

(*) :: Identity a -> Identity a -> Identity a

Monoid a => Monoid (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

zero :: Identity a

Group a => Group (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

inverse :: Identity a -> Identity a

Supremum a => Supremum (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

(\/) :: Identity a -> Identity a -> Identity a

Infimum a => Infimum (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

(/\) :: Identity a -> Identity a -> Identity a

Lattice a => Lattice (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Setoid a => Setoid (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

(==) :: Identity a -> Identity a -> Boolean

(/=) :: Identity a -> Identity a -> Boolean

Chain a => Chain (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

(<=>) :: Identity a -> Identity a -> Ordering

(<) :: Identity a -> Identity a -> Boolean

(<=) :: Identity a -> Identity a -> Boolean

(>) :: Identity a -> Identity a -> Boolean

(>=) :: Identity a -> Identity a -> Boolean