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

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

Methods

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

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

Nullable Maybe

Methods

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

Substructure ('Right :: a1 -> Wye a1) Delta a2

Associated Types

type Substructural 'Right Delta a2

Methods

substructure :: Tagged 'Right (Delta a2) :-. Substructural 'Right Delta a2

Substructure ('Left :: a1 -> Wye a1) Delta a2

Associated Types

type Substructural 'Left Delta a2

Methods

substructure :: Tagged 'Left (Delta a2) :-. Substructural 'Left Delta a2

Substructure ('Tail :: a1 -> Segment a1) (Tap t) a2

Associated Types

type Substructural 'Tail (Tap t) a2

Methods

substructure :: Tagged 'Tail (Tap t a2) :-. Substructural 'Tail (Tap t) a2

Substructure ('Right :: a1 -> Wye a1) (Product s) a2

Associated Types

type Substructural 'Right (Product s) a2

Methods

substructure :: Tagged 'Right (Product s a2) :-. Substructural 'Right (Product s) a2

Substructure ('Left :: a1 -> Wye a1) (Product s) a2

Associated Types

type Substructural 'Left (Product s) a2

Methods

substructure :: Tagged 'Left (Product s a2) :-. Substructural 'Left (Product s) a2

Substructure ('Right :: a1 -> Wye a1) (Delta <:.> t) a2

Associated Types

type Substructural 'Right (Delta <:.> t) a2

Methods

substructure :: Tagged 'Right ((Delta <:.> t) a2) :-. Substructural 'Right (Delta <:.> t) a2

Substructure ('Left :: a1 -> Wye a1) (Delta <:.> t) a2

Associated Types

type Substructural 'Left (Delta <:.> t) a2

Methods

substructure :: Tagged 'Left ((Delta <:.> t) a2) :-. Substructural 'Left (Delta <:.> t) a2