Pandora.Paradigm.Structure.Rose

Documentation

type Rose = TU Covariant Covariant Maybe (Construction Stack)

Orphan instances

Focusable Rose

Associated Types

type Focus Rose a :: Type

Methods

top :: Rose a :-. Focus Rose a

singleton :: a |-> Rose

Focusable (Construction Stack)

Associated Types

type Focus (Construction Stack) a :: Type

Methods

top :: Construction Stack a :-. Focus (Construction Stack) a

singleton :: a |-> Construction Stack

Substructure (Just :: Type -> Maybe Type) Rose

Associated Types

type Substructural Just Rose a :: Type

Methods

sub :: Rose a :-. Tagged Just (Substructural Just Rose a)

Substructure (Just :: Type -> Maybe Type) (Construction Stack)

Associated Types

type Substructural Just (Construction Stack) a :: Type

Methods

sub :: Construction Stack a :-. Tagged Just (Substructural Just (Construction Stack) a)