Pandora.Paradigm.Structure.Interface.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 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 (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Breadcrumbs (Construction List) :: 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 family Fastenable structure rs where ...

Equations

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

Fastenable structure r = (Morphable < Rotate r) < structure

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)