Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
fmap :: (Functor lens tb, b ~ GetParam lens tb, ta ~ SetParam lens a tb) => TypeLens Base lens -> (a -> b) -> ta -> tb Source
type family Objective_Param_a lens :: * -> Constraint Source
Objective_Param_a (Param_a Base) = Param_a Base | |
Objective_Param_a (Param_a p) = Objective p |
type family RemoveObjective_Param_a lens :: * -> Constraint Source
type family Objective_Param_b lens :: * -> Constraint Source
Objective_Param_b (Param_b Base) = Param_b Base | |
Objective_Param_b (Param_b p) = Objective p |
type family RemoveObjective_Param_b lens :: * -> Constraint Source