Pandora.Paradigm.Primary.Functor.Identity
newtype Identity a Source #
Constructors
Defined in Pandora.Paradigm.Primary.Functor.Identity
Methods
unit :: Proxy (:*:) -> (Unit (:*:) -> a) --> Identity a Source #
unit :: Proxy (:*:) -> (Unit (:*:) -> a) <-- Identity a Source #
(+) :: Identity a -> Identity a -> Identity a Source #
(*) :: Identity a -> Identity a -> Identity a Source #
zero :: Identity a Source #
one :: Identity a Source #
invert :: Identity a -> Identity a Source #
(-) :: Identity a -> Identity a -> Identity a Source #
(\/) :: Identity a -> Identity a -> Identity a Source #
(/\) :: Identity a -> Identity a -> Identity a Source #
(==) :: Identity a -> Identity a -> Boolean Source #
(!=) :: Identity a -> Identity a -> Boolean Source #
(<=>) :: Identity a -> Identity a -> Ordering Source #
(<) :: Identity a -> Identity a -> Boolean Source #
(<=) :: Identity a -> Identity a -> Boolean Source #
(>) :: Identity a -> Identity a -> Boolean Source #
(>=) :: Identity a -> Identity a -> Boolean Source #
Defined in Pandora.Paradigm.Inventory.Optics
(.) :: Lens Identity b c -> Lens Identity a b -> Lens Identity a c Source #
identity :: Lens Identity a a Source #
($) :: Lens Identity (Lens Identity a b) (Lens Identity a b) Source #
(#) :: Lens Identity (Lens Identity a b) (Lens Identity a b) Source #
mult :: forall (a :: k) (b :: k). (Identity a :*: Identity b) --> Identity (a :*: b) Source #
mult :: forall (a :: k) (b :: k). (Identity a :*: Identity b) <-- Identity (a :*: b) Source #
Defined in Pandora.Paradigm.Structure.Some.Stream
Associated Types
type Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (:*:))) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((Stream <:.:> Stream) := (:*:))) ~> Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
type Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (:*:))) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((Stream <:.:> Stream) := (:*:))) ~> Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (:*:))) Source #
Defined in Pandora.Paradigm.Structure.Some.Binary
type Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Up) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
type Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
type Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
type Arguments (P_Q_T (->) Store Identity source target) = (args :: Type) Source #
imply :: Arguments (P_Q_T (->) Store Identity source target) Source #
(<<=) :: (Identity a -> b) -> Identity a -> Identity b Source #
(=<<) :: (a -> Identity b) -> Identity a -> Identity b Source #
(<<=) :: (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> Tap ((Stream <:.:> Stream) := (:*:)) a -> Tap ((Stream <:.:> Stream) := (:*:)) b Source #
(<$>) :: (a -> b) -> Identity a -> Identity b Source #
(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (->) (:*:) (:*:) u) => (a -> u b) -> Identity a -> u (Identity b) Source #
(-|) :: (Identity a -> b) -> a -> Identity b Source #
(|-) :: (a -> Identity b) -> Identity a -> b Source #