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

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

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focusing 'Root Rose a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing 'Root Binary a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Focusing 'Head Stack a

Methods

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

Focusable ('Left :: Type -> Wye Type) (Product s)

Defined in Pandora.Paradigm.Structure

Associated Types

type Focusing 'Left (Product s) a

Methods

focusing :: Tagged 'Left (Product s a) :-. Focusing 'Left (Product s) a

Focusable ('Right :: Type -> Wye Type) (Product s)

Defined in Pandora.Paradigm.Structure

Associated Types

type Focusing 'Right (Product s) a

Methods

focusing :: Tagged 'Right (Product s a) :-. Focusing 'Right (Product s) a

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing 'Root (Construction Wye) a

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

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

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

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

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focusing 'Root Rose a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing 'Root Binary a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Focusing 'Head Stack a

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

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

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

Methods

focusing :: Tagged 'Head (Construction Maybe a) :-. Focusing 'Head (Construction 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 ('Root :: Type -> Location Type) Binary a

Defined in Pandora.Paradigm.Structure.Binary

type Focusing ('Root :: Type -> Location Type) Binary 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