Pandora.Paradigm.Primary.Functor.Identity

Documentation

newtype Identity a

Constructors

Identity a

Instances

Representable Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Associated Types

type Representation Identity

Methods

(<#>) :: Representation Identity -> a <:= Identity

tabulate :: (Representation Identity -> a) -> Identity a

index :: Identity a -> Representation Identity -> a

Monad Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Adjoint Identity Identity ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

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

Pointable Identity ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

point :: a -> Identity a

Extractable Identity ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

extract :: Identity a -> a

Extendable Identity ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

Comonad Identity ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Bindable Identity ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

Covariant Identity ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

Traversable Identity ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

(<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (:*:) (:*:)) => (a -> u b) -> Identity a -> u (Identity b)

Semigroup a => Semigroup (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

Ringoid a => Ringoid (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

Monoid a => Monoid (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

zero :: Identity a

Quasiring a => Quasiring (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

one :: Identity a

Group a => Group (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

invert :: Identity a -> Identity a

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

Supremum a => Supremum (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

Infimum a => Infimum (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

Lattice a => Lattice (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Setoid a => Setoid (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

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

Chain a => Chain (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.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

Semigroupoid (Lens Identity)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

(.) :: Lens Identity b c -> Lens Identity a b -> Lens Identity a c

Category (Lens Identity)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

identity :: Lens Identity a a

($) :: Lens Identity (Lens Identity a b) (Lens Identity a b)

(#) :: Lens Identity (Lens Identity a b) (Lens Identity a b)

Extendable (Tap ((Stream <:.:> Stream) := (:*:))) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Structure.Some.Stream

Methods

(<<=) :: (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> Tap ((Stream <:.:> Stream) := (:*:)) a -> Tap ((Stream <:.:> Stream) := (:*:)) b

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (:*:))) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((Stream <:.:> Stream) := (:*:))) ~> Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (:*:)))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (:*:))) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((Stream <:.:> Stream) := (:*:))) ~> Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (:*:)))

Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Up) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Identity source target :: Type)

Defined in Pandora.Paradigm.Inventory.Optics

Associated Types

type Arguments (P_Q_T (->) Store Identity source target) = (args :: Type)

Methods

imply :: Arguments (P_Q_T (->) Store Identity source target)

type Representation Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

type Representation Identity = ()

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) = Tap ((Stream <:.:> Stream) := (:*:))

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) = Tap ((Stream <:.:> Stream) := (:*:))

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) = Maybe <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) = Maybe <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) = Maybe <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Identity source target :: Type)

Defined in Pandora.Paradigm.Inventory.Optics

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Identity source target :: Type) = (source -> target) -> (source -> target -> source) -> Lens Identity source target

type Zipper (Construction Identity) (('Left :: a1 -> Wye a1) ::: ('Right :: a2 -> Wye a2) :: k -> k' -> Type)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Zipper (Construction Identity) (('Left :: a1 -> Wye a1) ::: ('Right :: a2 -> Wye a2) :: k -> k' -> Type) = Tap ((Stream <:.:> Stream) := (:*:))