Pandora.Paradigm.Structure.Ability.Focusable

Documentation

class Focusable f t where

Associated Types

type Focusing (f :: * -> k) (t :: * -> *) a

Methods

focusing :: Tagged f (t a) :-. Focusing f t a

Instances

(forall a. Chain a) => Focusable (Root :: Type -> Location Type) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing Root Binary a :: Type

Methods

focusing :: Tagged Root (Binary a) :-. Focusing Root Binary a

Focusable (Root :: Type -> Location Type) Rose

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focusing Root Rose a :: Type

Methods

focusing :: Tagged Root (Rose a) :-. Focusing Root Rose a

Focusable (Head :: Type -> Location Type) Stack

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Focusing Head Stack a :: Type

Methods

focusing :: Tagged Head (Stack a) :-. Focusing Head Stack a

Focusable (Root :: Type -> Location Type) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing Root (Construction Wye) a :: Type

Methods

focusing :: Tagged Root (Construction Wye a) :-. Focusing Root (Construction Wye) a

Focusable (Root :: Type -> Location Type) (Construction Stack)

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focusing Root (Construction Stack) a :: Type

Methods

focusing :: Tagged Root (Construction Stack a) :-. Focusing Root (Construction Stack) a

Focusable (Head :: Type -> Location Type) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Focusing Head (Construction Maybe) a :: Type

Methods

focusing :: Tagged Head (Construction Maybe a) :-. Focusing Head (Construction Maybe) a

focus :: forall f t a. Focusable f t => t a :-. Focusing f t a

data Location a

Constructors

Root a

Head a

Instances

(forall a. Chain a) => Focusable (Root :: Type -> Location Type) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing Root Binary a :: Type

Methods

focusing :: Tagged Root (Binary a) :-. Focusing Root Binary a

Focusable (Root :: Type -> Location Type) Rose

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focusing Root Rose a :: Type

Methods

focusing :: Tagged Root (Rose a) :-. Focusing Root Rose a

Focusable (Head :: Type -> Location Type) Stack

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Focusing Head Stack a :: Type

Methods

focusing :: Tagged Head (Stack a) :-. Focusing Head Stack a

Focusable (Root :: Type -> Location Type) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing Root (Construction Wye) a :: Type

Methods

focusing :: Tagged Root (Construction Wye a) :-. Focusing Root (Construction Wye) a

Focusable (Root :: Type -> Location Type) (Construction Stack)

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focusing Root (Construction Stack) a :: Type

Methods

focusing :: Tagged Root (Construction Stack a) :-. Focusing Root (Construction Stack) a

Focusable (Head :: Type -> Location Type) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Focusing Head (Construction Maybe) a :: Type

Methods

focusing :: Tagged Head (Construction Maybe a) :-. Focusing Head (Construction Maybe) a

type Focusing (Root :: Type -> Location Type) Binary a

Defined in Pandora.Paradigm.Structure.Binary

type Focusing (Root :: Type -> Location Type) Binary a = Maybe a

type Focusing (Root :: Type -> Location Type) Rose a

Defined in Pandora.Paradigm.Structure.Rose

type Focusing (Root :: Type -> Location Type) Rose a = Maybe a

type Focusing (Head :: Type -> Location Type) Stack a

Defined in Pandora.Paradigm.Structure.Stack

type Focusing (Head :: Type -> Location Type) Stack a = Maybe a

type Focusing (Root :: Type -> Location Type) (Construction Wye) a

Defined in Pandora.Paradigm.Structure.Binary

type Focusing (Root :: Type -> Location Type) (Construction Wye) a = a

type Focusing (Root :: Type -> Location Type) (Construction Stack) a

Defined in Pandora.Paradigm.Structure.Rose

type Focusing (Root :: Type -> Location Type) (Construction Stack) a = a

type Focusing (Head :: Type -> Location Type) (Construction Maybe) a

Defined in Pandora.Paradigm.Structure.Stack

type Focusing (Head :: Type -> Location Type) (Construction Maybe) a = a