Data.Params.Functor

Documentation

class Functor lens tb where

Methods

fmap' :: (b ~ GetParam lens tb, ta ~ SetParam lens a tb) => TypeLens p lens -> (a -> b) -> ta -> tb

Instances

Functor (Base *) t

Functor p a => Functor (Param_a p) (Maybe a)

Functor p b => Functor (Param_b p) (Either a b)

Functor p a => Functor (Param_a p) (Either a b)

fmap :: (Functor lens tb, b ~ GetParam lens tb, ta ~ SetParam lens a tb) => TypeLens Base lens -> (a -> b) -> ta -> tb

class Param_a _p t

Instances

HasDictionary _p => HasDictionary (Param_a _p)

ViewParam _p a => ViewParam (Param_a _p) (Maybe a)

Functor p a => Functor (Param_a p) (Maybe a)

Applicative p a => Applicative (Param_a p) (Maybe a)

(Monad p a, (~) * (Maybe (CoJoin p a)) (CoJoin (Param_a p) (Maybe a))) => Monad (Param_a p) (Maybe a)

Monad (Param_a (Base *)) (Maybe a)

ViewParam _p a => ViewParam (Param_a _p) (Either a b)

Functor p a => Functor (Param_a p) (Either a b)

Applicative p a => Applicative (Param_a p) (Either a b)

(Monad p a, (~) * (Either (CoJoin p a) b) (CoJoin (Param_a p) (Either a b))) => Monad (Param_a p) (Either a b)

Monad (Param_a (Base *)) (Either a b)

type GetParam * ((* -> Constraint) -> * -> Constraint) Param_a (Maybe a) = a

type GetParam * ((* -> Constraint) -> * -> Constraint) Param_a (Either a b) = a

type GetParam * (* -> Constraint) (Param_a p) (Maybe a) = GetParam * (* -> Constraint) p a

type GetParam * (* -> Constraint) (Param_a p) (Either a b) = GetParam * (* -> Constraint) p a

type RemoveObjective (Param_a p) = RemoveObjective_Param_a (Param_a p)

type Objective (Param_a p) = Objective_Param_a (Param_a p)

type ParamType (Param_a _p) = ParamType _p

data ParamDict (Param_a _p) = ParamDict_Param_a {

• unParamDict_Param_a :: ParamType _p

}

type SetParam' (Param_a p) newparam t = SetParam ((* -> Constraint) -> * -> Constraint) * Param_a (SetParam (* -> Constraint) * p newparam (GetParam * ((* -> Constraint) -> * -> Constraint) Param_a t)) t

type SetParam' (Param_a p) newparam t = SetParam ((* -> Constraint) -> * -> Constraint) * Param_a (SetParam (* -> Constraint) * p newparam (GetParam * ((* -> Constraint) -> * -> Constraint) Param_a t)) t

type SetParam ((* -> Constraint) -> * -> Constraint) * Param_a newparam (Maybe a) = Maybe newparam

type SetParam ((* -> Constraint) -> * -> Constraint) * Param_a newparam (Either a b) = Either newparam b

type SetParam (* -> Constraint) * (Param_a p) newparam t = SetParam ((* -> Constraint) -> * -> Constraint) * Param_a (SetParam (* -> Constraint) * p newparam (GetParam * ((* -> Constraint) -> * -> Constraint) Param_a t)) t

type SetParam (* -> Constraint) * (Param_a p) newparam t = SetParam ((* -> Constraint) -> * -> Constraint) * Param_a (SetParam (* -> Constraint) * p newparam (GetParam * ((* -> Constraint) -> * -> Constraint) Param_a t)) t

type ApplyConstraint_GetConstraint (* -> Constraint) (Param_a _p) = ApplyConstraint_GetConstraint (* -> Constraint) _p

type ApplyConstraint_GetConstraint (* -> Constraint) (Param_a _p) = ApplyConstraint_GetConstraint (* -> Constraint) _p

type ApplyConstraint_GetType (* -> Constraint) (Param_a _p) (Maybe a) = ApplyConstraint_GetType (* -> Constraint) _p a

type ApplyConstraint_GetType (* -> Constraint) (Param_a _p) (Either a b) = ApplyConstraint_GetType (* -> Constraint) _p a

type EyePiece ((* -> Constraint) -> * -> Constraint) (* -> Constraint) (Param_a p) = Param_a

type EyePiece ((* -> Constraint) -> * -> Constraint) (* -> Constraint) (Param_a p) = Param_a

type Zoom (* -> Constraint) (* -> Constraint) (Param_a p) = p

type Zoom (* -> Constraint) (* -> Constraint) (Param_a p) = p

type family Objective_Param_a lens :: * -> Constraint

Equations

Objective_Param_a (Param_a Base) = Param_a Base

Objective_Param_a (Param_a p) = Objective p

type family RemoveObjective_Param_a lens :: * -> Constraint

Equations

RemoveObjective_Param_a (Param_a Base) = Base

RemoveObjective_Param_a (Param_a p) = Param_a (RemoveObjective p)

class Param_b _p t

Instances

HasDictionary _p => HasDictionary (Param_b _p)

ViewParam _p b => ViewParam (Param_b _p) (Either a b)

Functor p b => Functor (Param_b p) (Either a b)

Applicative p b => Applicative (Param_b p) (Either a b)

(Monad p b, (~) * (Either a (CoJoin p b)) (CoJoin (Param_b p) (Either a b))) => Monad (Param_b p) (Either a b)

Monad (Param_b (Base *)) (Either a b)

type GetParam * ((* -> Constraint) -> * -> Constraint) Param_b (Either a b) = b

type GetParam * (* -> Constraint) (Param_b p) (Either a b) = GetParam * (* -> Constraint) p b

type RemoveObjective (Param_b p) = RemoveObjective_Param_b (Param_b p)

type Objective (Param_b p) = Objective_Param_b (Param_b p)

type ParamType (Param_b _p) = ParamType _p

data ParamDict (Param_b _p) = ParamDict_Param_b {

• unParamDict_Param_b :: ParamType _p

}

type SetParam' (Param_b p) newparam t = SetParam ((* -> Constraint) -> * -> Constraint) * Param_b (SetParam (* -> Constraint) * p newparam (GetParam * ((* -> Constraint) -> * -> Constraint) Param_b t)) t

type SetParam ((* -> Constraint) -> * -> Constraint) * Param_b newparam (Either a b) = Either a newparam

type SetParam (* -> Constraint) * (Param_b p) newparam t = SetParam ((* -> Constraint) -> * -> Constraint) * Param_b (SetParam (* -> Constraint) * p newparam (GetParam * ((* -> Constraint) -> * -> Constraint) Param_b t)) t

type ApplyConstraint_GetConstraint (* -> Constraint) (Param_b _p) = ApplyConstraint_GetConstraint (* -> Constraint) _p

type ApplyConstraint_GetType (* -> Constraint) (Param_b _p) (Either a b) = ApplyConstraint_GetType (* -> Constraint) _p b

type EyePiece ((* -> Constraint) -> * -> Constraint) (* -> Constraint) (Param_b p) = Param_b

type Zoom (* -> Constraint) (* -> Constraint) (Param_b p) = p

type family Objective_Param_b lens :: * -> Constraint

Equations

Objective_Param_b (Param_b Base) = Param_b Base

Objective_Param_b (Param_b p) = Objective p

type family RemoveObjective_Param_b lens :: * -> Constraint

Equations

RemoveObjective_Param_b (Param_b Base) = Base

RemoveObjective_Param_b (Param_b p) = Param_b (RemoveObjective p)

_b :: TypeLens _p (