| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Torch.Lens
Synopsis
- type Lens s t a b = forall (f :: Type -> Type). 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 :: Type -> Type). Applicative f => (a -> f b) -> s -> f t
- type Traversal' s a = Traversal s s a a
- class HasTypes s a where
- types_ :: Traversal' s a
- over :: Traversal' s a -> (a -> a) -> s -> s
- flattenValues :: forall a s. Traversal' s a -> s -> [a]
- replaceValues :: forall a s. Traversal' s a -> s -> [a] -> s
- types :: forall a s. HasTypes s a => Traversal' s a
- class GHasTypes (s :: Type -> Type) a where
- gtypes :: Traversal' (s b) a
Documentation
type Lens s t a b = forall (f :: Type -> Type). Functor f => (a -> f b) -> s -> f t Source #
Type synonym for lens
type Traversal s t a b = forall (f :: Type -> Type). Applicative f => (a -> f b) -> s -> f t Source #
type Traversal' s a = Traversal s s a a Source #
class HasTypes s a where Source #
Minimal complete definition
Nothing
Methods
types_ :: Traversal' s a Source #
Instances
Instances details
over :: Traversal' s a -> (a -> a) -> s -> s Source #
flattenValues :: forall a s. Traversal' s a -> s -> [a] Source #
replaceValues :: forall a s. Traversal' s a -> s -> [a] -> s Source #
types :: forall a s. HasTypes s a => Traversal' s a Source #