Module

Data.Lens.Grate

Package
purescript-profunctor-lenses
Repository
purescript-contrib/purescript-profunctor-lenses

This module defines functions for working with grates.

See http://r6research.livejournal.com/28050.html.

#grate Source

grate :: forall b a t s. (((s -> a) -> b) -> t) -> Grate s t a b

#withGrate Source

withGrate :: forall b a t s. AGrate s t a b -> ((s -> a) -> b) -> t

#cloneGrate Source

cloneGrate :: forall b a t s. AGrate s t a b -> Grate s t a b

#cotraversed Source

cotraversed :: forall b a f. Distributive f => Grate (f a) (f b) a b

#zipWithOf Source

zipWithOf :: forall b a t s. Optic Zipping s t a b -> (a -> a -> b) -> s -> s -> t

#zipFWithOf Source

zipFWithOf :: forall b a t s f. Optic (Costar f) s t a b -> (f a -> b) -> (f s -> t)

#collectOf Source

collectOf :: forall b a t s f. Optic (Star f) s t a b -> (a -> f b) -> s -> f t

Re-exports from Data.Lens.Types

#Optic Source

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

A general-purpose Data.Lens.

#Grate' Source

type Grate' s a = Grate s s a a

#Grate Source

type Grate s t a b = forall p. Closed p => Optic p s t a b

A grate (http://r6research.livejournal.com/28050.html)

#AGrate Source

type AGrate s t a b = Optic (Grating a b) s t a b