Safe Haskell	Safe
Language	Haskell2010

Pandora.Paradigm.Structure.Ability.Focusable

Documentation

class Focusable f t where Source #

Associated Types

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

Methods

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

Instances

Focusable (Root :: Type -> Location Type) Rose Source #
Instance details Defined in Pandora.Paradigm.Structure.Rose Associated Types type Focusing Root Rose a :: Type Source # Methods focusing :: Tagged Root (Rose a) :-. Focusing Root Rose a Source #
(forall a. Chain a) => Focusable (Root :: Type -> Location Type) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary Associated Types type Focusing Root Binary a :: Type Source # Methods focusing :: Tagged Root (Binary a) :-. Focusing Root Binary a Source #
Focusable (Head :: Type -> Location Type) Stack Source #
Instance details Defined in Pandora.Paradigm.Structure.Stack Associated Types type Focusing Head Stack a :: Type Source # Methods focusing :: Tagged Head (Stack a) :-. Focusing Head Stack a Source #
Focusable (Root :: Type -> Location Type) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary Associated Types type Focusing Root (Construction Wye) a :: Type Source # Methods focusing :: Tagged Root (Construction Wye a) :-. Focusing Root (Construction Wye) a Source #
Focusable (Root :: Type -> Location Type) (Construction Stack) Source #
Instance details Defined in Pandora.Paradigm.Structure.Rose Associated Types type Focusing Root (Construction Stack) a :: Type Source # Methods focusing :: Tagged Root (Construction Stack a) :-. Focusing Root (Construction Stack) a Source #
Focusable (Head :: Type -> Location Type) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Stack Associated Types type Focusing Head (Construction Maybe) a :: Type Source # Methods focusing :: Tagged Head (Construction Maybe a) :-. Focusing Head (Construction Maybe) a Source #

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

data Location a Source #

Constructors

Root a
Head a

Instances

Focusable (Root :: Type -> Location Type) Rose Source #
Instance details Defined in Pandora.Paradigm.Structure.Rose Associated Types type Focusing Root Rose a :: Type Source # Methods focusing :: Tagged Root (Rose a) :-. Focusing Root Rose a Source #
(forall a. Chain a) => Focusable (Root :: Type -> Location Type) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary Associated Types type Focusing Root Binary a :: Type Source # Methods focusing :: Tagged Root (Binary a) :-. Focusing Root Binary a Source #
Focusable (Head :: Type -> Location Type) Stack Source #
Instance details Defined in Pandora.Paradigm.Structure.Stack Associated Types type Focusing Head Stack a :: Type Source # Methods focusing :: Tagged Head (Stack a) :-. Focusing Head Stack a Source #
Focusable (Root :: Type -> Location Type) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary Associated Types type Focusing Root (Construction Wye) a :: Type Source # Methods focusing :: Tagged Root (Construction Wye a) :-. Focusing Root (Construction Wye) a Source #
Focusable (Root :: Type -> Location Type) (Construction Stack) Source #
Instance details Defined in Pandora.Paradigm.Structure.Rose Associated Types type Focusing Root (Construction Stack) a :: Type Source # Methods focusing :: Tagged Root (Construction Stack a) :-. Focusing Root (Construction Stack) a Source #
Focusable (Head :: Type -> Location Type) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Stack Associated Types type Focusing Head (Construction Maybe) a :: Type Source # Methods focusing :: Tagged Head (Construction Maybe a) :-. Focusing Head (Construction Maybe) a Source #
type Focusing (Root :: Type -> Location Type) Rose a Source #
Instance details Defined in Pandora.Paradigm.Structure.Rose type Focusing (Root :: Type -> Location Type) Rose a = Maybe a
type Focusing (Root :: Type -> Location Type) Binary a Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary type Focusing (Root :: Type -> Location Type) Binary a = Maybe a
type Focusing (Head :: Type -> Location Type) Stack a Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Pandora.Paradigm.Structure.Stack type Focusing (Head :: Type -> Location Type) (Construction Maybe) a = a