fresnel-0.0.0.3: high-powered optics in a small package
Safe HaskellSafe-Inferred
LanguageHaskell2010

Fresnel.Setter

Synopsis

Setters

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

type Setter' s a = Setter s s a a Source #

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

Instances

Instances details
IsSetter (->) Source # 
Instance details

Defined in Fresnel.Setter

Construction

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

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

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

Elimination

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

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

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

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

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

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

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

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

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

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

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