Control.Refractor

Documentation

type Lens s t α β a b = forall f. Functor s t f => Refractor s t f α β a b

type Iso σ τ s t α β a b = forall p f. (Functor (Dual σ) (NT (->)) p, forall x. Functor s (->) (p x), Functor τ s f) => Refractor p p f α β a b

lens :: (α -> a) -> (b -> α -> β) -> Lens (->) (->) α β a b

iso :: forall σ τ s t α β a b. Proxy s -> σ α a -> τ b β -> Iso σ τ s t α β a b

gets :: ((a -> Const c b) -> α -> Const c β) -> (a -> c) -> α -> c

get :: ((a -> Const a b) -> α -> Const a β) -> α -> a

set :: ((a -> Identity b) -> α -> Identity β) -> b -> α -> β

modify :: ((a -> Identity b) -> α -> Identity β) -> (a -> b) -> α -> β

toListOf :: Getting (Endo (->) [a]) α β a b -> α -> [a]

foldrOf :: Getting (Endo (->) c) α β a b -> (a -> c -> c) -> c -> α -> c

foldlOf :: Getting (Dual (Endo (->) c)) α β a b -> (c -> a -> c) -> c -> α -> c

mapAccumLOf :: ((a -> Backwards (State c) b) -> α -> Backwards (State c) β) -> (c -> a -> (c, b)) -> c -> α -> (c, β)

mapAccumROf :: ((a -> State c b) -> α -> State c β) -> (a -> c -> (c, b)) -> c -> α -> (c, β)

fstL :: Lens (->) (->) (a, c) (b, c) a b

sndL :: Lens (->) (->) (a, b) (a, c) b c

swapL :: Iso (->) (->) (->) (->) (a, b) (c, d) (b, a) (d, c)

unitL :: Lens (->) (->) α α () ()

constL :: Iso (->) (->) (->) (->) (Const a α) (Const b β) a b