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

Orphan instances

Nullable Rose

Methods

null :: forall (a :: k). (Predicate :. Rose) := a

Focusable ('Root :: Type -> Location Type) Rose

Associated Types

type Focusing 'Root Rose a

Methods

focusing :: Tagged 'Root (Rose a) :-. Focusing 'Root Rose a

Focusable ('Root :: Type -> Location Type) (Construction List)

Associated Types

type Focusing 'Root (Construction List) a

Methods

focusing :: Tagged 'Root (Construction List a) :-. Focusing 'Root (Construction List) a

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

Associated Types

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

Methods

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

Substructure ('Just :: a -> Maybe a) Rose

Associated Types

type Substructural 'Just Rose :: Type -> Type

Methods

substructure :: (Tagged 'Just <:.> Rose) :~. Substructural 'Just Rose

sub :: Rose :~. Substructural 'Just Rose

Substructure ('Just :: a -> Maybe a) (Construction List)

Associated Types

type Substructural 'Just (Construction List) :: Type -> Type

Methods

substructure :: (Tagged 'Just <:.> Construction List) :~. Substructural 'Just (Construction List)

sub :: Construction List :~. Substructural 'Just (Construction List)