Fresnel.Setter

Setters

type Setter s t a b = forall p. IsSetter p => Optic p s t a b

type Setter' s a = Setter s s a a

class (IsTraversal p, Mapping p) => IsSetter p

Instances

IsSetter ((->) :: Type -> Type -> Type)

Defined in Fresnel.Setter

Construction

sets :: ((a -> b) -> s -> t) -> Setter s t a b

mapped :: Functor f => Setter (f a) (f b) a b

contramapped :: Contravariant f => Setter (f a) (f b) b a

Elimination

over :: Setter s t a b -> (a -> b) -> s -> t

(%~) :: Setter s t a b -> (a -> b) -> s -> t infixr 4

set :: Setter s t a b -> b -> s -> t

(.~) :: Setter s t a b -> b -> s -> t infixr 4

(+~) :: Num a => Setter s t a a -> a -> s -> t infixr 4

(-~) :: Num a => Setter s t a a -> a -> s -> t infixr 4

(*~) :: Num a => Setter s t a a -> a -> s -> t infixr 4

(/~) :: Fractional a => Setter s t a a -> a -> s -> t infixr 4

(^~) :: (Num a, Integral b) => Setter s t a a -> b -> s -> t infixr 4

(^^~) :: (Fractional a, Integral b) => Setter s t a a -> b -> s -> t infixr 4

(**~) :: Floating a => Setter s t a a -> a -> s -> t infixr 4