Pandora.Paradigm.Structure

Documentation

module Pandora.Paradigm.Structure.Stream

module Pandora.Paradigm.Structure.Stack

module Pandora.Paradigm.Structure.Binary

module Pandora.Paradigm.Structure.Splay

module Pandora.Paradigm.Structure.Rose

module Pandora.Paradigm.Structure.Interface

module Pandora.Paradigm.Structure.Ability

Orphan instances

Morphable o (Construction Wye) => Morphable (o :: k) Binary

Associated Types

type Morphing o Binary :: Type -> Type

Methods

morphing :: (Tagged o <:.> Binary) ~> Morphing o Binary

Monotonic s a => Monotonic s (s :*: a)

Methods

reduce :: (s -> r -> r) -> r -> (s :*: a) -> r

resolve :: (s -> r) -> r -> (s :*: a) -> r

Accessible b a => Accessible b (s :*: a)

Methods

access :: (s :*: a) :-. b

Accessible a (s :*: a)

Methods

access :: (s :*: a) :-. a

Accessible s (s :*: a)

Methods

access :: (s :*: a) :-. s

Nullable Maybe

Methods

null :: forall (a :: k). (Predicate :. Maybe) := a

Focusable ('Left :: Type -> Wye Type) (Product s)

Associated Types

type Focusing 'Left (Product s) a

Methods

focusing :: Tagged 'Left (Product s a) :-. Focusing 'Left (Product s) a

Focusable ('Right :: Type -> Wye Type) (Product s)

Associated Types

type Focusing 'Right (Product s) a

Methods

focusing :: Tagged 'Right (Product s a) :-. Focusing 'Right (Product s) a

Morphable ('Postorder :: a -> Walk a) (Construction Wye)

Associated Types

type Morphing 'Postorder (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged 'Postorder <:.> Construction Wye) ~> Morphing 'Postorder (Construction Wye)

Morphable ('Inorder :: a -> Walk a) (Construction Wye)

Associated Types

type Morphing 'Inorder (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged 'Inorder <:.> Construction Wye) ~> Morphing 'Inorder (Construction Wye)

Morphable ('Preorder :: a -> Walk a) (Construction Wye)

Associated Types

type Morphing 'Preorder (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged 'Preorder <:.> Construction Wye) ~> Morphing 'Preorder (Construction Wye)

Covariant t => Substructure ('Tail :: a -> Segment a) (Tap t)

Associated Types

type Substructural 'Tail (Tap t) :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Tap t) :~. Substructural 'Tail (Tap t)

sub :: Tap t :~. Substructural 'Tail (Tap t)

subview :: Tap t ~> Substructural 'Tail (Tap t)

substitute :: (Substructural 'Tail (Tap t) a0 -> Substructural 'Tail (Tap t) a0) -> Tap t a0 -> Tap t a0

subplace :: Substructural 'Tail (Tap t) a0 -> Tap t a0 -> Tap t a0

Substructure ('Right :: a -> Wye a) (Product s)

Associated Types

type Substructural 'Right (Product s) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Product s) :~. Substructural 'Right (Product s)

sub :: Product s :~. Substructural 'Right (Product s)

subview :: Product s ~> Substructural 'Right (Product s)

substitute :: (Substructural 'Right (Product s) a0 -> Substructural 'Right (Product s) a0) -> Product s a0 -> Product s a0

subplace :: Substructural 'Right (Product s) a0 -> Product s a0 -> Product s a0