Copyright | Copyright © 2014-2015 PivotCloud, Inc. |
---|---|
License | MIT |
Maintainer | Lars Kuhtz <lkuhtz@pivotmail.com> |
Stability | experimental |
Safe Haskell | Safe |
Language | Haskell2010 |
- lens :: (σ -> α) -> (σ -> β -> τ) -> Lens σ τ α β
- over :: ((α -> Identity β) -> σ -> Identity τ) -> (α -> β) -> σ -> τ
- set :: ((α -> Identity β) -> σ -> Identity τ) -> β -> σ -> τ
- view :: MonadReader σ μ => ((α -> Const α α) -> σ -> Const α σ) -> μ α
- type Lens' σ α = Lens σ σ α α
- type Lens σ τ α β = forall φ. Functor φ => (α -> φ β) -> σ -> φ τ
- type Iso' σ α = Iso σ σ α α
- type Iso σ τ α β = forall π φ. (Profunctor π, Functor φ) => π α (φ β) -> π σ (φ τ)
- iso :: (σ -> α) -> (β -> τ) -> Iso σ τ α β
- (&) :: α -> (α -> β) -> β
- (<&>) :: Functor φ => φ α -> (α -> β) -> φ β
- sshow :: (Show α, IsString τ) => α -> τ
- exceptT :: Monad μ => (ε -> μ β) -> (α -> μ β) -> ExceptT ε μ α -> μ β
- errorT :: Monad μ => ExceptT Text μ α -> μ α
- fmapL :: (α -> β) -> Either α γ -> Either β γ
Lenses
type Lens' σ α = Lens σ σ α α Source #
This is the same type as the type from the lens library with the same name.
In case it is already import from the lens package this should be hidden from the import.
type Lens σ τ α β = forall φ. Functor φ => (α -> φ β) -> σ -> φ τ Source #
This is the same type as the type from the lens library with the same name.
In case it is already import from the lens package this should be hidden from the import.
type Iso σ τ α β = forall π φ. (Profunctor π, Functor φ) => π α (φ β) -> π σ (φ τ) Source #
This is the same type as the type from the lens library with the same name.
In case it is already import from the lens package this should be hidden from the import.