Pandora.Paradigm.Primary.Functor.Identity

Documentation

newtype Identity a

Constructors

Identity a

Instances

Lensic Identity Maybe

Defined in Pandora.Paradigm.Inventory.Optics

Associated Types

type Lensally Identity Maybe :: Type -> Type

Methods

(>>>) :: Lens Identity source between -> Lens Maybe between target -> Lens (Lensally Identity Maybe) source target

Lensic Maybe Identity

Defined in Pandora.Paradigm.Inventory.Optics

Associated Types

type Lensally Maybe Identity :: Type -> Type

Methods

(>>>) :: Lens Maybe source between -> Lens Identity between target -> Lens (Lensally Maybe Identity) source target

Monoidal (-->) (-->) (:*:) (:*:) Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Identity a

Monoidal (<--) (-->) (:*:) (:*:) Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Identity a

Semimonoidal (<--) (:*:) (:*:) t => Monoidal (<--) (-->) (:*:) (:*:) ((Identity <:.:> t) := (:*:))

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- ((Identity <:.:> t) := (:*:)) a

Accessible a (Identity a)

Defined in Pandora.Paradigm.Structure

Methods

access :: Lens Identity (Identity a) a

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)

Zippable (Construction Identity)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Breadcrumbs (Construction Identity) :: Type -> Type

Semimonoidal (-->) (:*:) (:*:) Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

mult :: forall (a :: k) (b :: k). (Identity a :*: Identity b) --> Identity (a :*: b)

Semimonoidal (<--) (:*:) (:*:) Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

mult :: forall (a :: k) (b :: k). (Identity a :*: Identity b) <-- Identity (a :*: b)

Semimonoidal (-->) (:*:) (:*:) (Lens Identity source :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

mult :: forall (a :: k) (b :: k). (Lens Identity source a :*: Lens Identity source b) --> Lens Identity source (a :*: b)

Semimonoidal (<--) (:*:) (:*:) t => Semimonoidal (<--) (:*:) (:*:) ((Identity <:.:> t) := (:*:) :: Type -> Type)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Methods

mult :: forall (a :: k) (b :: k). (((Identity <:.:> t) := (:*:)) a :*: ((Identity <:.:> t) := (:*:)) b) <-- ((Identity <:.:> t) := (:*:)) (a :*: b)

Monoidal (-->) (-->) (:*:) (:*:) u => Adaptable (u :: Type -> Type) ((->) :: Type -> Type -> Type) Identity

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: forall (a :: k). Identity a -> u a

Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List :: Type -> Type

Methods

morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <::> List) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List

Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <::> Construction Maybe) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe)

Morphable ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Construction Maybe)) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Comprehension Maybe)) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

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

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

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

Methods

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

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

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

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <::> ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((((Identity <:.:> (Wye <::> 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)

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

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

Monad ((->) :: Type -> Type -> Type) Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

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

Defined in Pandora.Paradigm.Primary.Functor.Identity

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Right (Tape t) :: Type -> Type

type Substance 'Right (Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> Tape t) #=@ Substance 'Right (Tape t)) := Available 'Right (Tape t)

sub :: (Tape t #=@ Substance 'Right (Tape t)) := Available 'Right (Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Left (Tape t) :: Type -> Type

type Substance 'Left (Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Tape t) #=@ Substance 'Left (Tape t)) := Available 'Left (Tape t)

sub :: (Tape t #=@ Substance 'Left (Tape t)) := Available 'Left (Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Root (Tape t) :: Type -> Type

type Substance 'Root (Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> Tape t) #=@ Substance 'Root (Tape t)) := Available 'Root (Tape t)

sub :: (Tape t #=@ Substance 'Root (Tape t)) := Available 'Root (Tape t)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('Right :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Right (Tape t <::> Tape t) :: Type -> Type

type Substance 'Right (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> (Tape t <::> Tape t)) #=@ Substance 'Right (Tape t <::> Tape t)) := Available 'Right (Tape t <::> Tape t)

sub :: ((Tape t <::> Tape t) #=@ Substance 'Right (Tape t <::> Tape t)) := Available 'Right (Tape t <::> Tape t)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('Left :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Left (Tape t <::> Tape t) :: Type -> Type

type Substance 'Left (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> (Tape t <::> Tape t)) #=@ Substance 'Left (Tape t <::> Tape t)) := Available 'Left (Tape t <::> Tape t)

sub :: ((Tape t <::> Tape t) #=@ Substance 'Left (Tape t <::> Tape t)) := Available 'Left (Tape t <::> Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Down :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Down (Tape t <::> Tape t) :: Type -> Type

type Substance 'Down (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Down <:.> (Tape t <::> Tape t)) #=@ Substance 'Down (Tape t <::> Tape t)) := Available 'Down (Tape t <::> Tape t)

sub :: ((Tape t <::> Tape t) #=@ Substance 'Down (Tape t <::> Tape t)) := Available 'Down (Tape t <::> Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Up :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Up (Tape t <::> Tape t) :: Type -> Type

type Substance 'Up (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Up <:.> (Tape t <::> Tape t)) #=@ Substance 'Up (Tape t <::> Tape t)) := Available 'Up (Tape t <::> Tape t)

sub :: ((Tape t <::> Tape t) #=@ Substance 'Up (Tape t <::> Tape t)) := Available 'Up (Tape t <::> Tape t)

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

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Identity) => (a -> b) -> Identity (u a) -> Identity (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Identity) => (a -> b) -> Identity (u (v a)) -> Identity (u (v b))

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

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Identity a -> u (Identity b)

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

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

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

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

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) a -> u (((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) b)

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

Defined in Pandora.Paradigm.Structure.Some.Stream

Methods

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

Extendable ((->) :: Type -> Type -> Type) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

type Lensally Identity Maybe

Defined in Pandora.Paradigm.Inventory.Optics

type Lensally Identity Maybe = Maybe

type Lensally Maybe Identity

Defined in Pandora.Paradigm.Inventory.Optics

type Lensally Maybe Identity = Maybe

type Breadcrumbs (Construction Identity)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Breadcrumbs (Construction Identity) = (Stream <:.:> Stream) := (:*:)

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List = Maybe <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe) = (Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)

type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Maybe <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = (Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)

type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = Construction Maybe

type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Comprehension Maybe

type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = List

type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = List

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

Defined in Pandora.Paradigm.Structure.Some.Stream

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

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

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = Maybe <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = Maybe <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

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

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Maybe <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

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

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Maybe <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) = Maybe <::> ((((Identity <:.:> (Wye <::> 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 Available ('Right :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Right :: a -> Wye a) (Tape t) = Identity

type Available ('Left :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Left :: a -> Wye a) (Tape t) = Identity

type Available ('Root :: a -> Segment a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Root :: a -> Segment a) (Tape t) = Identity

type Substance ('Right :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Right :: a -> Wye a) (Tape t) = t

type Substance ('Left :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Left :: a -> Wye a) (Tape t) = t

type Substance ('Root :: a -> Segment a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Root :: a -> Segment a) (Tape t) = Identity

type Available ('Right :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Right :: a -> Wye a) (Tape t <::> Tape t) = Identity

type Available ('Left :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Left :: a -> Wye a) (Tape t <::> Tape t) = Identity

type Available ('Down :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Down :: a -> Vertical a) (Tape t <::> Tape t) = Identity

type Available ('Up :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Up :: a -> Vertical a) (Tape t <::> Tape t) = Identity

type Substance ('Right :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Right :: a -> Wye a) (Tape t <::> Tape t) = Tape t <::> t

type Substance ('Left :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Left :: a -> Wye a) (Tape t <::> Tape t) = Tape t <::> t

type Substance ('Down :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Down :: a -> Vertical a) (Tape t <::> Tape t) = t <::> Tape t

type Substance ('Up :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Up :: a -> Vertical a) (Tape t <::> Tape t) = t <::> Tape t