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 ('Left :: Type -> Wye Type) Delta

Associated Types

type Substructural 'Left Delta a

Methods

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

Substructure ('Right :: Type -> Wye Type) Delta

Associated Types

type Substructural 'Right Delta a

Methods

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

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

Associated Types

type Substructural 'Left (Product s) a

Methods

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

Substructure ('Left :: Type -> Wye Type) t => Substructure ('Left :: Type -> Wye Type) (Tap (t <:.> u))

Associated Types

type Substructural 'Left (Tap (t <:.> u)) a

Methods

substructure :: Tagged 'Left (Tap (t <:.> u) a) :-. Substructural 'Left (Tap (t <:.> u)) a

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

Associated Types

type Substructural 'Right (Product s) a

Methods

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

Substructure ('Right :: Type -> Wye Type) t => Substructure ('Right :: Type -> Wye Type) (Tap (t <:.> u))

Associated Types

type Substructural 'Right (Tap (t <:.> u)) a

Methods

substructure :: Tagged 'Right (Tap (t <:.> u) a) :-. Substructural 'Right (Tap (t <:.> u)) a

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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