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

CopyrightCopyright © 2014-2015 PivotCloud, Inc.
LicenseMIT
MaintainerLars Kuhtz <lkuhtz@pivotmail.com>
Stabilityexperimental
Safe HaskellSafe-Inferred
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