Pandora.Paradigm.Structure.Some.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 :: 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

subview :: Rose ~> Substructural 'Just Rose

substitute :: (Substructural 'Just Rose a0 -> Substructural 'Just Rose a0) -> Rose a0 -> Rose a0

subplace :: Substructural 'Just Rose a0 -> Rose a0 -> Rose a0

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

Associated Types

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

Methods

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

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

subview :: Construction Stack ~> Substructural 'Just (Construction Stack)

substitute :: (Substructural 'Just (Construction Stack) a0 -> Substructural 'Just (Construction Stack) a0) -> Construction Stack a0 -> Construction Stack a0

subplace :: Substructural 'Just (Construction Stack) a0 -> Construction Stack a0 -> Construction Stack a0