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.Some.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.Some.Binary

Associated Types

type Focusing 'Root Binary a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Focusing 'Head List a

Methods

focusing :: Tagged 'Head (List a) :-. Focusing 'Head List 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.Some.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 List)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Focusing 'Root (Construction List) a

Methods

focusing :: Tagged 'Root (Construction List a) :-. Focusing 'Root (Construction List) a

Focusable ('Head :: Type -> Location Type) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Focusing 'Head (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) a

Methods

focusing :: Tagged 'Head (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) a) :-. Focusing 'Head (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) a

Focusable ('Head :: Type -> Location Type) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Focusing 'Head (Tap ((List <:.:> List) := (:*:))) a

Methods

focusing :: Tagged 'Head (Tap ((List <:.:> List) := (:*:)) a) :-. Focusing 'Head (Tap ((List <:.:> List) := (:*:))) a

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

Defined in Pandora.Paradigm.Structure.Some.List

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.Some.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.Some.Binary

Associated Types

type Focusing 'Root Binary a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Focusing 'Head List a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.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 List)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Focusing 'Root (Construction List) a

Methods

focusing :: Tagged 'Root (Construction List a) :-. Focusing 'Root (Construction List) a

Focusable ('Head :: Type -> Location Type) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Focusing 'Head (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) a

Methods

focusing :: Tagged 'Head (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) a) :-. Focusing 'Head (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) a

Focusable ('Head :: Type -> Location Type) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Focusing 'Head (Tap ((List <:.:> List) := (:*:))) a

Methods

focusing :: Tagged 'Head (Tap ((List <:.:> List) := (:*:)) a) :-. Focusing 'Head (Tap ((List <:.:> List) := (:*:))) a

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

Defined in Pandora.Paradigm.Structure.Some.List

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.Some.Rose

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

type Focusing ('Head :: Type -> Location Type) List a

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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

Defined in Pandora.Paradigm.Structure.Some.Rose

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

type Focusing ('Head :: Type -> Location Type) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) a

Defined in Pandora.Paradigm.Structure.Some.List

type Focusing ('Head :: Type -> Location Type) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) a = a

type Focusing ('Head :: Type -> Location Type) (Tap ((List <:.:> List) := (:*:))) a

Defined in Pandora.Paradigm.Structure.Some.List

type Focusing ('Head :: Type -> Location Type) (Tap ((List <:.:> List) := (:*:))) a = a

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

Defined in Pandora.Paradigm.Structure.Some.List

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