garden
Safe HaskellSafe
LanguageHaskell2010

Optics

Documentation

type Optic p a b s t = p a b -> p s t Source #

type Adapter a b s t = forall p. Profunctor p => Optic p a b s t Source #

type Lens a b s t = forall p. Strong p => Optic p a b s t Source #

type Prism a b s t = forall p. Costrong p => Optic p a b s t Source #

type Traversal a b s t = forall p. (Strong p, Costrong p, Monoidal p) => Optic p a b s t Source #

class Profunctor p => Monoidal p where Source #

Methods

par :: p a b -> p c d -> p (a, c) (b, d) Source #

empty :: p () () Source #

Instances

Instances details
Monoidal ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Optics

Methods

par :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) Source #

empty :: () -> () Source #