Pandora.Paradigm.Structure.Some.Rose
Contents
type Rose = Maybe <:.> Construction List Source #
Methods
null :: forall (a :: k). (Predicate :. Rose) := a Source #
Associated Types
type Focusing 'Root Rose a Source #
focusing :: Tagged 'Root (Rose a) :-. Focusing 'Root Rose a Source #
type Focusing 'Root (Construction List) a Source #
focusing :: Tagged 'Root (Construction List a) :-. Focusing 'Root (Construction List) a Source #
type Substructural 'Just Rose :: Type -> Type Source #
substructure :: (Tagged 'Just <:.> Rose) :~. Substructural 'Just Rose Source #
sub :: Rose :~. Substructural 'Just Rose Source #
subview :: Rose ~> Substructural 'Just Rose Source #
substitute :: (Substructural 'Just Rose a0 -> Substructural 'Just Rose a0) -> Rose a0 -> Rose a0 Source #
subplace :: Substructural 'Just Rose a0 -> Rose a0 -> Rose a0 Source #
type Substructural 'Just (Construction List) :: Type -> Type Source #
substructure :: (Tagged 'Just <:.> Construction List) :~. Substructural 'Just (Construction List) Source #
sub :: Construction List :~. Substructural 'Just (Construction List) Source #
subview :: Construction List ~> Substructural 'Just (Construction List) Source #
substitute :: (Substructural 'Just (Construction List) a0 -> Substructural 'Just (Construction List) a0) -> Construction List a0 -> Construction List a0 Source #
subplace :: Substructural 'Just (Construction List) a0 -> Construction List a0 -> Construction List a0 Source #