Lens.Micro.Pro.Internal

Definitions used internally by microlens. If you're going to use these, only define instances for your own types, and don't export an API using these!

Documentation

class Strict lazy strict | lazy -> strict, strict -> lazy where

Methods

strict :: Iso' lazy strict

lazy :: Iso' strict lazy

class IsText t where

Methods

packed :: Iso' String t

packed lets you convert between String and Text (strict or lazy). It can be used as a replacement for pack or as a way to modify some String if you have a function like Text -> Text.

unpacked :: Iso' t String

unpacked is like packed but works in the opposite direction.

Instances

IsText Text

Defined in Lens.Micro.Pro

Methods

packed :: Iso' String Text

unpacked :: Iso' Text String

IsText Text

Defined in Lens.Micro.Pro

Methods

packed :: Iso' String Text

unpacked :: Iso' Text String

IsText [Char]

Defined in Lens.Micro.Pro

Methods

packed :: Iso' String [Char]

unpacked :: Iso' [Char] String

data Exchange a b s t

This type is used internally to provide efficient access to the two inverse functions behind an Iso.

Constructors

Exchange (s -> a) (b -> t)

Instances

Profunctor (Exchange a b)

Defined in Lens.Micro.Pro.Internal

Methods

dimap :: (a0 -> b0) -> (c -> d) -> Exchange a b b0 c -> Exchange a b a0 d

lmap :: (a0 -> b0) -> Exchange a b b0 c -> Exchange a b a0 c

rmap :: (b0 -> c) -> Exchange a b a0 b0 -> Exchange a b a0 c

(#.) :: forall a0 b0 c q. Coercible c b0 => q b0 c -> Exchange a b a0 b0 -> Exchange a b a0 c

(.#) :: forall a0 b0 c q. Coercible b0 a0 => Exchange a b b0 c -> q a0 b0 -> Exchange a b a0 c

Functor (Exchange a b s)

Defined in Lens.Micro.Pro.Internal

Methods

fmap :: (a0 -> b0) -> Exchange a b s a0 -> Exchange a b s b0

(<$) :: a0 -> Exchange a b s b0 -> Exchange a b s a0

type Exchange' a s = Exchange a a s s

data Market a b s t

This type is used internally by the Prism code to provide efficient access to the two parts of a Prism, i.e. a constructor and a selector — see: prism.

Constructors

Market (b -> t) (s -> Either t a)

Instances

Choice (Market a b)

Defined in Lens.Micro.Pro.Internal

Methods

left' :: Market a b a0 b0 -> Market a b (Either a0 c) (Either b0 c)

right' :: Market a b a0 b0 -> Market a b (Either c a0) (Either c b0)

Profunctor (Market a b)

Defined in Lens.Micro.Pro.Internal

Methods

dimap :: (a0 -> b0) -> (c -> d) -> Market a b b0 c -> Market a b a0 d

lmap :: (a0 -> b0) -> Market a b b0 c -> Market a b a0 c

rmap :: (b0 -> c) -> Market a b a0 b0 -> Market a b a0 c

(#.) :: forall a0 b0 c q. Coercible c b0 => q b0 c -> Market a b a0 b0 -> Market a b a0 c

(.#) :: forall a0 b0 c q. Coercible b0 a0 => Market a b b0 c -> q a0 b0 -> Market a b a0 c

Functor (Market a b s)

Defined in Lens.Micro.Pro.Internal

Methods

fmap :: (a0 -> b0) -> Market a b s a0 -> Market a b s b0

(<$) :: a0 -> Market a b s b0 -> Market a b s a0

type Market' a s = Market a a s s

type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t)

The type signature of iso provides a nice interpretation of Iso. If you want to apply a function a -> b to a type s, you'd have to convert with s -> a, apply your function a -> b, and convert back with b -> t.

iso :: (s -> a) -> (b -> t) -> Iso s t a b
-- or, put monomorphically
iso :: (s -> a) -> (a -> s) -> Iso' s a

type Iso' s a = Iso s s a a

The type of monomorphic isomorphisms, i.e. isos that change neither the outer type s nor the inner type a.

type Prism s t a b = forall p f. (Choice p, Applicative f) => p a (f b) -> p s (f t)

• s is the type of the whole structure
• t is the type of the reconstructed structure
• a is the type of the target
• b is the type of the value used for reconstruction

type Prism' s a = Prism s s a a

The type of monomorphic prisms, i.e. prisms that change neither the outer type s nor the inner type a.