configuration-tools-0.2.15: Tools for specifying and parsing configurations

CopyrightCopyright © 2014-2015 PivotCloud, Inc.
LicenseMIT
MaintainerLars Kuhtz <lkuhtz@pivotmail.com>
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Configuration.Utils.Internal

Contents

Description

 

Synopsis

Lenses

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

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

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

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 σ τ α β = 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' σ α = Iso σ σ α α Source #

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.

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

Misc Utils

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

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

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

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

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

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