Copyright	(c) Edward Kmett 2014
License	BSD3
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Hask.Lens

Description

Documentation

class (Precartesian ((~>) :: i -> i -> *), Profunctor p) => Strong p where Source

Minimal complete definition

Methods

_1 :: p a b -> p (a * c) (b * c) Source

_2 :: p a b -> p (c * a) (c * b) Source

Instances

Strong * (->)
Strong Constraint (:-)
Precartesian i ((~>) i) => Strong i (Self i)
Precartesian i ((~>) i) => Strong i (Get i i r)
Strong (i -> Constraint) (Nat Constraint i)
Strong (i -> ) (Nat i)

Instances

(Strong k p, Category k p) => Freyd k p

type Getter s a = forall p. (Strong p, Post Functor p) => p a a -> p s s Source

to :: (Contravariant p, Post Contravariant p) => (s ~> a) -> p a a -> p s s Source

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

type Traversal s t a b = forall p. (Strong p, Post Monoidal p) => p a b -> p s t Source