Proton.Glass

Documentation

type Glass s t a b = forall p. (Strong p, Closed p) => Optic p s t a b

type Glass' s a = Glass s s a a

type Glassed p = (Strong p, Closed p)

glassed :: (Strong p, Closed p) => p a b -> p (s, u -> a) (s, u -> b)

glass :: forall p s t a b. Glassed p => (((s -> a) -> b) -> s -> t) -> p a b -> p s t

glassList :: forall a b. Glass [a] [b] a b

extendOf :: Comonad w => Optic (Costar w) s t a b -> (w a -> b) -> w s -> w t

traversed' :: forall f a b. Traversable f => Glass (f a) (f b) a b