Pandora.Paradigm.Structure.Ability.Focusable

Documentation

class Focusable t where

Associated Types

type Focus (t :: * -> *) a

Methods

top :: t a :-. Focus t a

singleton :: a |-> t

Instances

Focusable Stack

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Focus Stack a :: Type

Methods

top :: Stack a :-. Focus Stack a

singleton :: a |-> Stack

Focusable Rose

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focus Rose a :: Type

Methods

top :: Rose a :-. Focus Rose a

singleton :: a |-> Rose

(forall a. Chain a) => Focusable Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focus Binary a :: Type

Methods

top :: Binary a :-. Focus Binary a

singleton :: a |-> Binary

Focusable (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focus (Construction Wye) a :: Type

Methods

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

singleton :: a |-> Construction Wye

Focusable (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Focus (Construction Maybe) a :: Type

Methods

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

singleton :: a |-> Construction Maybe

Focusable (Construction Stack)

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focus (Construction Stack) a :: Type

Methods

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

singleton :: a |-> Construction Stack