Pandora.Paradigm.Structure.Binary

Documentation

type Binary = TU Covariant Covariant Maybe (Construction Wye)

insert :: Chain a => a -> Binary a -> Binary a

Orphan instances

(forall a. Chain a) => Focusable Binary

Associated Types

type Focus Binary a :: Type

Methods

top :: Binary a :-. Focus Binary a

singleton :: a |-> Binary

Focusable (Construction Wye)

Associated Types

type Focus (Construction Wye) a :: Type

Methods

top :: Construction Wye a :-. Focus (Construction Wye) a

singleton :: a |-> Construction Wye

Substructure (Left :: Type -> Wye Type) Binary

Associated Types

type Substructural Left Binary a :: Type

Methods

sub :: Binary a :-. Tagged Left (Substructural Left Binary a)

Substructure (Right :: Type -> Wye Type) Binary

Associated Types

type Substructural Right Binary a :: Type

Methods

sub :: Binary a :-. Tagged Right (Substructural Right Binary a)

Substructure (Left :: Type -> Wye Type) (Construction Wye)

Associated Types

type Substructural Left (Construction Wye) a :: Type

Methods

sub :: Construction Wye a :-. Tagged Left (Substructural Left (Construction Wye) a)

Substructure (Right :: Type -> Wye Type) (Construction Wye)

Associated Types

type Substructural Right (Construction Wye) a :: Type

Methods

sub :: Construction Wye a :-. Tagged Right (Substructural Right (Construction Wye) a)