Pandora.Paradigm.Structure.Interface.Zipper

Documentation

class Zippable (structure :: * -> *) where

Associated Types

type Breadcrumbs structure :: * -> *

Methods

fasten :: structure e -> Maybe > Zipper structure e

unfasten :: Zipper structure e -> Nonempty structure e

Instances

Zippable List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Breadcrumbs List :: Type -> Type

Methods

fasten :: List e -> Maybe > Zipper List e

unfasten :: Zipper List e -> Nonempty List e

Zippable Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Breadcrumbs Rose :: Type -> Type

Methods

fasten :: Rose e -> Maybe > Zipper Rose e

unfasten :: Zipper Rose e -> Nonempty Rose e

Zippable Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Breadcrumbs Binary :: Type -> Type

Methods

fasten :: Binary e -> Maybe > Zipper Binary e

unfasten :: Zipper Binary e -> Nonempty Binary e

Zippable (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

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

Methods

fasten :: Construction Exactly e -> Maybe > Zipper (Construction Exactly) e

unfasten :: Zipper (Construction Exactly) e -> Nonempty (Construction Exactly) e

Zippable (Comprehension Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

fasten :: Comprehension Maybe e -> Maybe > Zipper (Comprehension Maybe) e

unfasten :: Zipper (Comprehension Maybe) e -> Nonempty (Comprehension Maybe) e

type Zipper (structure :: * -> *) = Exactly <:*:> Breadcrumbs 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)