Pandora.Paradigm.Structure.Some.Rose

Documentation

type Rose = Maybe <::> Construction List

find_rose_sub_tree :: forall k a. Setoid k => Nonempty List k -> (Nonempty Rose >>> (k :*: a)) -> Maybe a

type Roses = List <::> Construction List

Orphan instances

Zippable Rose

Associated Types

type Breadcrumbs Rose :: Type -> Type

Methods

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

unfasten :: Zipper Rose e -> Nonempty Rose e

Setoid k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k)

Associated Types

type Morphing ('Lookup 'Key) (Prefixed Rose k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed Rose k) ~> Morphing ('Lookup 'Key) (Prefixed Rose k)

Substructure ('Focused ('Forest :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Associated Types

type Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged ('Focused 'Forest) <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Associated Types

type Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged ('Focused 'Tree) <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Siblings :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Associated Types

type Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged 'Siblings <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Children :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Associated Types

type Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged 'Children <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Ancestors :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Associated Types

type Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged 'Ancestors <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Slidable ('Down :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Associated Types

type Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Right :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Associated Types

type Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Left :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Associated Types

type Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Up :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Associated Types

type Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()