Pandora.Paradigm.Structure.Binary

Documentation

type Binary = TU Covariant Covariant Maybe (Construction Wye)

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

Orphan instances

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

Associated Types

type Output Left Binary a :: Type

Methods

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

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

Associated Types

type Output Right Binary a :: Type

Methods

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

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

Associated Types

type Output Left (Construction Wye) a :: Type

Methods

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

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

Associated Types

type Output Right (Construction Wye) a :: Type

Methods

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