{-# LANGUAGE Trustworthy #-}
{-# LANGUAGE RankNTypes #-}
module Universum
(
module Universum.Applicative
, module Universum.Base
, module Universum.Bool
, module Universum.Container
, module Universum.Debug
, module Universum.DeepSeq
, module Universum.Exception
, module Universum.Function
, module Universum.Functor
, module Universum.Lifted
, module Universum.List
, module Universum.Monad
, module Universum.Monoid
, module Universum.Nub
, module Universum.Print
, module Universum.String
, module Universum.TypeOps
, module Universum.VarArg
, Lens
, Lens'
, Traversal
, Traversal'
, over
, set
, (%~)
, (.~)
, (^.)
, (^..)
, (^?)
, _1
, _2
, _3
, _4
, _5
, preuse
, preview
, use
, view
) where
import Universum.Applicative
import Universum.Base
import Universum.Bool
import Universum.Container
import Universum.Debug
import Universum.DeepSeq
import Universum.Exception
import Universum.Function
import Universum.Functor
import Universum.Lifted
import Universum.List
import Universum.Monad
import Universum.Monoid
import Universum.Nub
import Universum.Print
import Universum.String
import Universum.TypeOps
import Universum.VarArg
import qualified Lens.Micro (ASetter, Getting, over, set, (%~), (.~), (^.),
(^..), (^?), _1, _2, _3, _4, _5)
import qualified Lens.Micro.Mtl (preuse, preview, use, view)
import Lens.Micro.Internal (Field1, Field2, Field3, Field4, Field5)
{-# DEPRECATED
Lens
, Lens'
, Traversal
, Traversal'
, over
, set
, (%~)
, (.~)
, (^.)
, (^..)
, (^?)
, _1
, _2
, _3
, _4
, _5
, preuse
, preview
, use
, view
"Use corresponding function from 'lens' or 'microlens' package"
#-}
type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t
type Lens' s a = Lens s s a a
type Traversal s t a b = forall f. Applicative f => (a -> f b) -> s -> f t
type Traversal' s a = Traversal s s a a
over :: Lens.Micro.ASetter s t a b -> (a -> b) -> s -> t
over :: forall s t a b. ASetter s t a b -> (a -> b) -> s -> t
over = ASetter s t a b -> (a -> b) -> s -> t
forall s t a b. ASetter s t a b -> (a -> b) -> s -> t
Lens.Micro.over
set :: Lens.Micro.ASetter s t a b -> b -> s -> t
set :: forall s t a b. ASetter s t a b -> b -> s -> t
set = ASetter s t a b -> b -> s -> t
forall s t a b. ASetter s t a b -> b -> s -> t
Lens.Micro.set
(%~) :: Lens.Micro.ASetter s t a b -> (a -> b) -> s -> t
%~ :: forall s t a b. ASetter s t a b -> (a -> b) -> s -> t
(%~) = ASetter s t a b -> (a -> b) -> s -> t
forall s t a b. ASetter s t a b -> (a -> b) -> s -> t
(Lens.Micro.%~)
infixr 4 %~
(.~) :: Lens.Micro.ASetter s t a b -> b -> s -> t
.~ :: forall s t a b. ASetter s t a b -> b -> s -> t
(.~) = ASetter s t a b -> b -> s -> t
forall s t a b. ASetter s t a b -> b -> s -> t
(Lens.Micro..~)
infixr 4 .~
(^.) :: s -> Lens.Micro.Getting a s a -> a
^. :: forall s a. s -> Getting a s a -> a
(^.) = s -> Getting a s a -> a
forall s a. s -> Getting a s a -> a
(Lens.Micro.^.)
infixl 8 ^.
(^..) :: s -> Lens.Micro.Getting (Endo [a]) s a -> [a]
^.. :: forall s a. s -> Getting (Endo [a]) s a -> [a]
(^..) = s -> Getting (Endo [a]) s a -> [a]
forall s a. s -> Getting (Endo [a]) s a -> [a]
(Lens.Micro.^..)
infixl 8 ^..
(^?) :: s -> Lens.Micro.Getting (First a) s a -> Maybe a
^? :: forall s a. s -> Getting (First a) s a -> Maybe a
(^?) = s -> Getting (First a) s a -> Maybe a
forall s a. s -> Getting (First a) s a -> Maybe a
(Lens.Micro.^?)
infixl 8 ^?
_1 :: Field1 s t a b => Lens s t a b
_1 :: forall s t a b. Field1 s t a b => Lens s t a b
_1 = (a -> f b) -> s -> f t
forall s t a b. Field1 s t a b => Lens s t a b
Lens s t a b
Lens.Micro._1
_2 :: Field2 s t a b => Lens s t a b
_2 :: forall s t a b. Field2 s t a b => Lens s t a b
_2 = (a -> f b) -> s -> f t
forall s t a b. Field2 s t a b => Lens s t a b
Lens s t a b
Lens.Micro._2
_3 :: Field3 s t a b => Lens s t a b
_3 :: forall s t a b. Field3 s t a b => Lens s t a b
_3 = (a -> f b) -> s -> f t
forall s t a b. Field3 s t a b => Lens s t a b
Lens s t a b
Lens.Micro._3
_4 :: Field4 s t a b => Lens s t a b
_4 :: forall s t a b. Field4 s t a b => Lens s t a b
_4 = (a -> f b) -> s -> f t
forall s t a b. Field4 s t a b => Lens s t a b
Lens s t a b
Lens.Micro._4
_5 :: Field5 s t a b => Lens s t a b
_5 :: forall s t a b. Field5 s t a b => Lens s t a b
_5 = (a -> f b) -> s -> f t
forall s t a b. Field5 s t a b => Lens s t a b
Lens s t a b
Lens.Micro._5
preuse :: MonadState s m => Lens.Micro.Getting (First a) s a -> m (Maybe a)
preuse :: forall s (m :: * -> *) a.
MonadState s m =>
Getting (First a) s a -> m (Maybe a)
preuse = Getting (First a) s a -> m (Maybe a)
forall s (m :: * -> *) a.
MonadState s m =>
Getting (First a) s a -> m (Maybe a)
Lens.Micro.Mtl.preuse
preview :: MonadReader s m => Lens.Micro.Getting (First a) s a -> m (Maybe a)
preview :: forall s (m :: * -> *) a.
MonadReader s m =>
Getting (First a) s a -> m (Maybe a)
preview = Getting (First a) s a -> m (Maybe a)
forall s (m :: * -> *) a.
MonadReader s m =>
Getting (First a) s a -> m (Maybe a)
Lens.Micro.Mtl.preview
use :: MonadState s m => Lens.Micro.Getting a s a -> m a
use :: forall s (m :: * -> *) a. MonadState s m => Getting a s a -> m a
use = Getting a s a -> m a
forall s (m :: * -> *) a. MonadState s m => Getting a s a -> m a
Lens.Micro.Mtl.use
view :: MonadReader s m => Lens.Micro.Getting a s a -> m a
view :: forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a
view = Getting a s a -> m a
forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a
Lens.Micro.Mtl.view