pandora-0.2.9: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure.Rose

Contents

Documentation

type Rose = Maybe <:.> Construction Stack Source #

Orphan instances

Substructure (Just :: Type -> Maybe Type) Rose Source # 
Instance details

Associated Types

type Substructural Just Rose a :: Type Source #

Methods

substructure :: Tagged Just (Rose a) :-. Substructural Just Rose a Source #

Focusable (Root :: Type -> Type) Rose Source # 
Instance details

Associated Types

type Focusing Root Rose a :: Type Source #

Methods

focusing :: Tagged Root (Rose a) :-. Focusing Root Rose a Source #

Substructure (Just :: Type -> Maybe Type) (Construction Stack) Source # 
Instance details

Associated Types

type Substructural Just (Construction Stack) a :: Type Source #

Methods

substructure :: Tagged Just (Construction Stack a) :-. Substructural Just (Construction Stack) a Source #

Focusable (Root :: Type -> Type) (Construction Stack) Source # 
Instance details

Associated Types

type Focusing Root (Construction Stack) a :: Type Source #

Methods

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