Copyright | (c) Justus Sagemüller 2017 |
---|---|
License | GPL v3 |
Maintainer | (@) sagemueller $ geo.uni-koeln.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
class Category (OpticC c) => Optical c where Source #
cloneOptic :: OptDens c ζ => c s t a b -> ζ s t a b Source #
data PrismTrait s t a b Source #
type APrism s t a b = Optic PrismTrait s t a b Source #
data GetterTrait s t a b Source #
Getter (s -> a) |
type AGetter s a = Optic GetterTrait s s a a Source #
type Getter s t a b = forall c. FromGetter c => Optic c s t a b Source #
class FromLens c => FromGetter c where Source #
data ReviewTrait s t a b Source #
Review (b -> t) |
type AReview b t = Optic ReviewTrait t t b b Source #
type Review s t a b = forall c. FromReview c => Optic c s t a b Source #
class FromPrism c => FromReview c where Source #
data TraversalTrait s t a b Source #
Traversal (forall f. Applicative f => (a -> f b) -> s -> f t) |
type ATraversal s t a b = Optic TraversalTrait s t a b Source #
type Traversal s t a b = forall c. FromTraversal c => Optic c s t a b Source #
class (FromLens c, FromPrism c) => FromTraversal c where Source #
traversed :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> c s t a b Source #
data SetterTrait s t a b Source #
Setter ((a -> b) -> s -> t) |
type ASetter s t a b = Optic SetterTrait s t a b Source #
type Setter s t a b = forall c. FromSetter c => Optic c s t a b Source #
class FromTraversal c => FromSetter c where Source #