Pandora.Paradigm.Structure.Rose

Documentation

type Rose = Maybe <:.> Construction Stack

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 Stack)

Associated Types

type Focusing 'Root (Construction Stack) a

Methods

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

Substructure ('Just :: a1 -> Maybe a1) Rose a2

Associated Types

type Substructural 'Just Rose a2

Methods

substructure :: Tagged 'Just (Rose a2) :-. Substructural 'Just Rose a2

Substructure ('Just :: a1 -> Maybe a1) (Construction Stack) a2

Associated Types

type Substructural 'Just (Construction Stack) a2

Methods

substructure :: Tagged 'Just (Construction Stack a2) :-. Substructural 'Just (Construction Stack) a2