Pandora.Paradigm.Structure.Ability.Zipper

Documentation

class Zippable (structure :: * -> *)

Associated Types

type Breadcrumbs structure :: * -> *

Instances

Zippable List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Breadcrumbs List :: Type -> Type

Zippable (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

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

Zippable (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

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

Zippable (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Zippable (Comprehension Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Breadcrumbs (Comprehension Maybe) :: Type -> Type

type Zipper (structure :: * -> *) = (Exactly <:.:> Breadcrumbs structure) := (:*:)

type Breadcrumbed structure t = (Zippable structure, Breadcrumbs structure ~ t)

type family Fastenable structure rs where ...

Equations

Fastenable structure (r ::: rs) = (Morphable (Rotate r) structure, Fastenable structure rs)

Fastenable structure r = Morphable (Rotate r) structure

type Tape t = (Exactly <:.:> ((Reverse t <:.:> t) := (:*:))) := (:*:)

Orphan instances

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

Methods

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

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

Methods

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

Impliable (Tape t a :: Type)

Associated Types

type Arguments (Tape t a) = (args :: Type)

Methods

imply :: Arguments (Tape t a)

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

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)

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)

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)

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)

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)

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)

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)