Opaleye.Internal.Manipulation

Documentation

newtype Updater a b

Constructors

Updater (a -> b)

Instances

Profunctor Updater

Methods

dimap :: (a -> b) -> (c -> d) -> Updater b c -> Updater a d

lmap :: (a -> b) -> Updater b c -> Updater a c

rmap :: (b -> c) -> Updater a b -> Updater a c

(#.) :: Coercible * c b => (b -> c) -> Updater a b -> Updater a c

(.#) :: Coercible * b a => Updater b c -> (a -> b) -> Updater a c

ProductProfunctor Updater

Methods

purePP :: b -> Updater a b

(****) :: Updater a (b -> c) -> Updater a b -> Updater a c

empty :: Updater () ()

(***!) :: Updater a b -> Updater a' b' -> Updater (a, a') (b, b')

Default Updater (Column a) (Maybe (Column a))

Methods

def :: Updater (Column a) (Maybe (Column a))

Default Updater (Column a) (Column a)

Methods

def :: Updater (Column a) (Column a)

Functor (Updater a)

Methods

fmap :: (a -> b) -> Updater a a -> Updater a b

(<$) :: a -> Updater a b -> Updater a a

Applicative (Updater a)

Methods

pure :: a -> Updater a a

(<*>) :: Updater a (a -> b) -> Updater a a -> Updater a b

liftA2 :: (a -> b -> c) -> Updater a a -> Updater a b -> Updater a c

(*>) :: Updater a a -> Updater a b -> Updater a b

(<*) :: Updater a a -> Updater a b -> Updater a a