Configuration.Utils.Internal

Lenses

lens :: (σ -> α) -> (σ -> β -> τ) -> Lens σ τ α β

over :: ((α -> Identity β) -> σ -> Identity τ) -> (α -> β) -> σ -> τ

set :: ((α -> Identity β) -> σ -> Identity τ) -> β -> σ -> τ

view :: MonadReader σ μ => ((α -> Const α α) -> σ -> Const α σ) -> μ α

type Lens' σ α = Lens σ σ α α

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 φ => (α -> φ β) -> σ -> φ τ

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' σ α = Iso σ σ α α

type Iso σ τ α β = forall π φ. (Profunctor π, Functor φ) => π α (φ β) -> π σ (φ τ)

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.

iso :: (σ -> α) -> (β -> τ) -> Iso σ τ α β

Misc Utils

(&) :: α -> (α -> β) -> β infixl 1

(<&>) :: Functor φ => φ α -> (α -> β) -> φ β infixl 1

sshow :: (Show α, IsString τ) => α -> τ

exceptT :: Monad μ => (ε -> μ β) -> (α -> μ β) -> ExceptT ε μ α -> μ β

errorT :: Monad μ => ExceptT Text μ α -> μ α

fmapL :: (α -> β) -> Either α γ -> Either β γ