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

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 ('Tail :: a -> Segment a) (Construction List)

Associated Types

type Available 'Tail (Construction List) :: Type -> Type

type Substance 'Tail (Construction List) :: Type -> Type

Methods

substructure :: ((Tagged 'Tail <:.> Construction List) #=@ Substance 'Tail (Construction List)) := Available 'Tail (Construction List)

sub :: (Construction List #=@ Substance 'Tail (Construction List)) := Available 'Tail (Construction List)

Substructure ('Root :: a -> Segment a) (Construction List)

Associated Types

type Available 'Root (Construction List) :: Type -> Type

type Substance 'Root (Construction List) :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> Construction List) #=@ Substance 'Root (Construction List)) := Available 'Root (Construction List)

sub :: (Construction List #=@ Substance 'Root (Construction List)) := Available 'Root (Construction List)