Copyright | Copyright © 2014-2015 PivotCloud, Inc. |
---|---|
License | MIT |
Maintainer | Lars Kuhtz <lkuhtz@pivotmail.com> |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
- lens :: (σ -> α) -> (σ -> β -> τ) -> Lens σ τ α β
- over :: ((α -> Identity β) -> σ -> Identity τ) -> (α -> β) -> σ -> τ
- set :: ((α -> Identity β) -> σ -> Identity τ) -> β -> σ -> τ
- view :: MonadReader σ μ => ((α -> Const α α) -> σ -> Const α σ) -> μ α
- type Lens' σ α = Lens σ σ α α
- type Lens σ τ α β = Functor φ => (α -> φ β) -> σ -> φ τ
- type Iso' σ α = Iso σ σ α α
- type Iso σ τ α β = (Profunctor π, Functor φ) => π α (φ β) -> π σ (φ τ)
- iso :: (σ -> α) -> (β -> τ) -> Iso σ τ α β
- (&) :: α -> (α -> β) -> β
- sshow :: (Show α, IsString τ) => α -> τ
- exceptT :: Monad μ => (ε -> μ β) -> (α -> μ β) -> ExceptT ε μ α -> μ β
- errorT :: Monad μ => ExceptT Text μ α -> μ α
- fmapL :: (α -> β) -> Either α γ -> Either β γ
Lenses
view :: MonadReader σ μ => ((α -> Const α α) -> σ -> Const α σ) -> μ α Source
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 σ τ α β = 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 σ τ α β = (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.