OAlg.Category.Applicative

application on values.

Applicative

class Applicative h where

family of types having a representation in (->).

Methods

amap :: h a b -> a -> b

application.

Instances

Applicative GLApp

Defined in OAlg.Entity.Matrix.GeneralLinearGroup

Methods

amap :: GLApp a b -> a -> b

Applicative TrApp

Defined in OAlg.Entity.Matrix.GeneralLinearGroup

Methods

amap :: TrApp a b -> a -> b

Applicative m => Applicative (Path m)

Defined in OAlg.Category.Path

Methods

amap :: Path m a b -> a -> b

(Semiring r, Commutative r) => Applicative (HomSymbol r)

Defined in OAlg.Entity.Matrix.Vector

Methods

amap :: HomSymbol r a b -> a -> b

Applicative (SliceFactorDrop s)

Defined in OAlg.Entity.Slice.Definition

Methods

amap :: SliceFactorDrop s a b -> a -> b

ForgetfulOrt s => Applicative (HomOp s)

Defined in OAlg.Hom.Oriented.Definition

Methods

amap :: HomOp s a b -> a -> b

Applicative (IdHom s)

Defined in OAlg.Hom.Oriented.Definition

Methods

amap :: IdHom s a b -> a -> b

ForgetfulOrt s => Applicative (IsoOp s)

Defined in OAlg.Hom.Oriented.Definition

Methods

amap :: IsoOp s a b -> a -> b

Applicative h => Applicative (OpHom h)

Defined in OAlg.Hom.Oriented.Definition

Methods

amap :: OpHom h a b -> a -> b

Applicative m => Applicative (Forget t m)

Defined in OAlg.Category.Definition

Methods

amap :: Forget t m a b -> a -> b

(Applicative f, Applicative g) => Applicative (Either2 f g)

Defined in OAlg.Category.Applicative

Methods

amap :: Either2 f g a b -> a -> b

(Distributive c, SliceCokernelTo i c, SliceKernelFrom i c) => Applicative (SliceCokernelKernel i c)

Defined in OAlg.Entity.Slice.Adjunction

Methods

amap :: SliceCokernelKernel i c a b -> a -> b

ForgetfulDst s => Applicative (IsoOpMap Matrix s)

Defined in OAlg.Entity.Matrix.Definition

Methods

amap :: IsoOpMap Matrix s a b -> a -> b

ForgetfulOrt s => Applicative (IsoOpMap Path s)

Defined in OAlg.Hom.Oriented.Definition

Methods

amap :: IsoOpMap Path s a b -> a -> b

ForgetfulDst s => Applicative (OpMap Matrix s)

Defined in OAlg.Entity.Matrix.Definition

Methods

amap :: OpMap Matrix s a b -> a -> b

ForgetfulOrt s => Applicative (OpMap Path s)

Defined in OAlg.Hom.Oriented.Definition

Methods

amap :: OpMap Path s a b -> a -> b

Applicative (->)

Defined in OAlg.Category.Applicative

Methods

amap :: (a -> b) -> a -> b

($) :: Applicative h => h a b -> a -> b infixr 0

right associative application on values.

class Applicative1 h f where

family of types having a representation in f a -> f b.

Methods

amap1 :: h a b -> f a -> f b

application.

Instances

HomDistributive h => Applicative1 h Matrix

Defined in OAlg.Entity.Matrix.Definition

Methods

amap1 :: h a b -> Matrix a -> Matrix b

HomOriented h => Applicative1 h (Diagram t n m)

Defined in OAlg.Entity.Diagram.Definition

Methods

amap1 :: h a b -> Diagram t n m a -> Diagram t n m b

HomDistributive h => Applicative1 h (Cone Dst p t n m)

Defined in OAlg.Limes.Cone.Definition

Methods

amap1 :: h a b -> Cone Dst p t n m a -> Cone Dst p t n m b

HomMultiplicative h => Applicative1 h (Cone Mlt p t n m)

Defined in OAlg.Limes.Cone.Definition

Methods

amap1 :: h a b -> Cone Mlt p t n m a -> Cone Mlt p t n m b

IsoMultiplicative h => Applicative1 h (Limes Mlt p t n m)

Defined in OAlg.Limes.Definition

Methods

amap1 :: h a b -> Limes Mlt p t n m a -> Limes Mlt p t n m b

IsoDistributive h => Applicative1 h (Limits Dst p t n m)

Defined in OAlg.Limes.Limits

Methods

amap1 :: h a b -> Limits Dst p t n m a -> Limits Dst p t n m b

IsoMultiplicative h => Applicative1 h (Limits Mlt p t n m)

Defined in OAlg.Limes.Limits

Methods

amap1 :: h a b -> Limits Mlt p t n m a -> Limits Mlt p t n m b

Functor f => Applicative1 (->) f

Defined in OAlg.Category.Applicative

Methods

amap1 :: (a -> b) -> f a -> f b