Control.Lens.Reified

Documentation

>>> import Control.Lens

newtype ReifiedLens s t a b

Reify a ReifiedLens so it can be stored safely in a container.

Constructors

Lens

Fields

• runLens :: Lens s t a b

type ReifiedLens' s a = ReifiedLens s s a a

type ReifiedLens' = Simple ReifiedLens

newtype ReifiedTraversal s t a b

A form of ReifiedTraversal that can be stored monomorphically in a container.

Constructors

Traversal

Fields

• runTraversal :: Traversal s t a b

type ReifiedTraversal' s a = ReifiedTraversal s s a a

type ReifiedTraversal' = Simple ReifiedTraversal

newtype ReifiedGetter s a

Reify a ReifiedGetter so it can be stored safely in a container.

This can also be useful when combining getters in novel ways, as ReifiedGetter is isomorphic to '(->)' and provides similar instances.

>>> ("hello","world","!!!")^.runGetter ((,) <$> Getter _2 <*> Getter (_1.to length))
("world",5)

Constructors

Getter

Fields

• runGetter :: Getter s a

Instances

Arrow ReifiedGetter

Defined in Control.Lens.Reified

Methods

arr :: (b -> c) -> ReifiedGetter b c

first :: ReifiedGetter b c -> ReifiedGetter (b, d) (c, d)

second :: ReifiedGetter b c -> ReifiedGetter (d, b) (d, c)

(***) :: ReifiedGetter b c -> ReifiedGetter b' c' -> ReifiedGetter (b, b') (c, c')

(&&&) :: ReifiedGetter b c -> ReifiedGetter b c' -> ReifiedGetter b (c, c')

ArrowChoice ReifiedGetter

Defined in Control.Lens.Reified

Methods

left :: ReifiedGetter b c -> ReifiedGetter (Either b d) (Either c d)

right :: ReifiedGetter b c -> ReifiedGetter (Either d b) (Either d c)

(+++) :: ReifiedGetter b c -> ReifiedGetter b' c' -> ReifiedGetter (Either b b') (Either c c')

(|||) :: ReifiedGetter b d -> ReifiedGetter c d -> ReifiedGetter (Either b c) d

ArrowApply ReifiedGetter

Defined in Control.Lens.Reified

Methods

app :: ReifiedGetter (ReifiedGetter b c, b) c

ArrowLoop ReifiedGetter

Defined in Control.Lens.Reified

Methods

loop :: ReifiedGetter (b, d) (c, d) -> ReifiedGetter b c

Profunctor ReifiedGetter

Defined in Control.Lens.Reified

Methods

dimap :: (a -> b) -> (c -> d) -> ReifiedGetter b c -> ReifiedGetter a d

lmap :: (a -> b) -> ReifiedGetter b c -> ReifiedGetter a c

rmap :: (b -> c) -> ReifiedGetter a b -> ReifiedGetter a c

MonadReader s (ReifiedGetter s)

Defined in Control.Lens.Reified

Methods

ask :: ReifiedGetter s s

local :: (s -> s) -> ReifiedGetter s a -> ReifiedGetter s a

reader :: (s -> a) -> ReifiedGetter s a

Monad (ReifiedGetter s)

Defined in Control.Lens.Reified

Methods

(>>=) :: ReifiedGetter s a -> (a -> ReifiedGetter s b) -> ReifiedGetter s b

(>>) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s b

return :: a -> ReifiedGetter s a

fail :: String -> ReifiedGetter s a

Functor (ReifiedGetter s)

Defined in Control.Lens.Reified

Methods

fmap :: (a -> b) -> ReifiedGetter s a -> ReifiedGetter s b

(<$) :: a -> ReifiedGetter s b -> ReifiedGetter s a

Applicative (ReifiedGetter s)

Defined in Control.Lens.Reified

Methods

pure :: a -> ReifiedGetter s a

(<*>) :: ReifiedGetter s (a -> b) -> ReifiedGetter s a -> ReifiedGetter s b

liftA2 :: (a -> b -> c) -> ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s c

(*>) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s b

(<*) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s a

Cotraversable (ReifiedGetter s)

Defined in Control.Lens.Reified

Methods

collect :: Functor g => (a -> ReifiedGetter s b) -> g a -> ReifiedGetter s (g b)

cosequence :: Functor g => g (ReifiedGetter s a) -> ReifiedGetter s (g a)

cotraverse :: Functor g => (g a -> b) -> g (ReifiedGetter s a) -> ReifiedGetter s b

Monoid s => Comonad (ReifiedGetter s)

Defined in Control.Lens.Reified

Methods

copure :: ReifiedGetter s a -> a

cut :: ReifiedGetter s a -> ReifiedGetter s (ReifiedGetter s a)

(<<=) :: (ReifiedGetter s a -> b) -> ReifiedGetter s a -> ReifiedGetter s b

Category ReifiedGetter

Defined in Control.Lens.Reified

Methods

id :: ReifiedGetter a a

(.) :: ReifiedGetter b c -> ReifiedGetter a b -> ReifiedGetter a c

Lift (Either a) ReifiedGetter

Defined in Control.Lens.Reified

Methods

lift :: ReifiedGetter a0 b -> ReifiedGetter (Either a a0) (Either a b)

Lift ((,) a) ReifiedGetter

Defined in Control.Lens.Reified

Methods

lift :: ReifiedGetter a0 b -> ReifiedGetter (a, a0) (a, b)

Colift ((,) a) ReifiedGetter

Defined in Control.Lens.Reified

Methods

colift :: ReifiedGetter (a, a0) (a, b) -> ReifiedGetter a0 b

Lift ((->) a :: Type -> Type) ReifiedGetter

Defined in Control.Lens.Reified

Methods

lift :: ReifiedGetter a0 b -> ReifiedGetter (a -> a0) (a -> b)

newtype ReifiedFold s a

Reify a ReifiedFold so it can be stored safely in a container.

This can also be useful for creatively combining folds as ReifiedFold s is isomorphic to ReaderT s [] and provides similar instances.

>>> ("hello","world")^..runFold ((,) <$> Fold _2 <*> Fold both)
[("world","hello"),("world","world")]

Constructors

Fold

Fields

• runFold :: Fold s a

Instances

Arrow ReifiedFold

Defined in Control.Lens.Reified

Methods

arr :: (b -> c) -> ReifiedFold b c

first :: ReifiedFold b c -> ReifiedFold (b, d) (c, d)

second :: ReifiedFold b c -> ReifiedFold (d, b) (d, c)

(***) :: ReifiedFold b c -> ReifiedFold b' c' -> ReifiedFold (b, b') (c, c')

(&&&) :: ReifiedFold b c -> ReifiedFold b c' -> ReifiedFold b (c, c')

ArrowChoice ReifiedFold

Defined in Control.Lens.Reified

Methods

left :: ReifiedFold b c -> ReifiedFold (Either b d) (Either c d)

right :: ReifiedFold b c -> ReifiedFold (Either d b) (Either d c)

(+++) :: ReifiedFold b c -> ReifiedFold b' c' -> ReifiedFold (Either b b') (Either c c')

(|||) :: ReifiedFold b d -> ReifiedFold c d -> ReifiedFold (Either b c) d

ArrowApply ReifiedFold

Defined in Control.Lens.Reified

Methods

app :: ReifiedFold (ReifiedFold b c, b) c

Profunctor ReifiedFold

Defined in Control.Lens.Reified

Methods

dimap :: (a -> b) -> (c -> d) -> ReifiedFold b c -> ReifiedFold a d

lmap :: (a -> b) -> ReifiedFold b c -> ReifiedFold a c

rmap :: (b -> c) -> ReifiedFold a b -> ReifiedFold a c

MonadReader s (ReifiedFold s)

Defined in Control.Lens.Reified

Methods

ask :: ReifiedFold s s

local :: (s -> s) -> ReifiedFold s a -> ReifiedFold s a

reader :: (s -> a) -> ReifiedFold s a

Monad (ReifiedFold s)

Defined in Control.Lens.Reified

Methods

(>>=) :: ReifiedFold s a -> (a -> ReifiedFold s b) -> ReifiedFold s b

(>>) :: ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s b

return :: a -> ReifiedFold s a

fail :: String -> ReifiedFold s a

Functor (ReifiedFold s)

Defined in Control.Lens.Reified

Methods

fmap :: (a -> b) -> ReifiedFold s a -> ReifiedFold s b

(<$) :: a -> ReifiedFold s b -> ReifiedFold s a

Applicative (ReifiedFold s)

Defined in Control.Lens.Reified

Methods

pure :: a -> ReifiedFold s a

(<*>) :: ReifiedFold s (a -> b) -> ReifiedFold s a -> ReifiedFold s b

liftA2 :: (a -> b -> c) -> ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s c

(*>) :: ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s b

(<*) :: ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s a

Alternative (ReifiedFold s)

Defined in Control.Lens.Reified

Methods

empty :: ReifiedFold s a

(<|>) :: ReifiedFold s a -> ReifiedFold s a -> ReifiedFold s a

some :: ReifiedFold s a -> ReifiedFold s [a]

many :: ReifiedFold s a -> ReifiedFold s [a]

MonadPlus (ReifiedFold s)

Defined in Control.Lens.Reified

Methods

mzero :: ReifiedFold s a

mplus :: ReifiedFold s a -> ReifiedFold s a -> ReifiedFold s a

Category ReifiedFold

Defined in Control.Lens.Reified

Methods

id :: ReifiedFold a a

(.) :: ReifiedFold b c -> ReifiedFold a b -> ReifiedFold a c

Lift (Either a) ReifiedFold

Defined in Control.Lens.Reified

Methods

lift :: ReifiedFold a0 b -> ReifiedFold (Either a a0) (Either a b)

Lift ((,) a) ReifiedFold

Defined in Control.Lens.Reified

Methods

lift :: ReifiedFold a0 b -> ReifiedFold (a, a0) (a, b)

newtype ReifiedSetter s t a b

Reify a ReifiedSetter so it can be stored safely in a container.

Constructors

Setter

Fields

• runSetter :: Setter s t a b

type ReifiedSetter' s a = ReifiedSetter s s a a

type ReifiedSetter' = Simple ReifiedSetter

newtype ReifiedIso s t a b

Reify an ReifiedIso so it can be stored safely in a container.

Constructors

Iso

Fields

• runIso :: Iso s t a b

type ReifiedIso' s a = ReifiedIso s s a a

type ReifiedIso' = Simple ReifiedIso

newtype ReifiedPrism s t a b

Reify a ReifiedPrism so it can be stored safely in a container.

Constructors

Prism

Fields

• runPrism :: Prism s t a b

type ReifiedPrism' s a = ReifiedPrism s s a a

type ReifiedPrism' = Simple ReifiedPrism