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

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

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

Methods

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

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