quadratic-irrational-0.0.2: An implementation of quadratic irrationals

Copyright© 2014 Johan Kiviniemi
LicenseMIT
MaintainerJohan Kiviniemi <devel@johan.kiviniemi.name>
Stabilityprovisional
PortabilityRank2Types
Safe HaskellSafe-Inferred
LanguageHaskell2010

Numeric.QuadraticIrrational.Internal.Lens

Description

A tiny implementation of some lens primitives. Please see http://hackage.haskell.org/package/lens for proper documentation.

Documentation

type Lens s t a b = Functor f => (a -> f b) -> s -> f t Source

type Traversal s t a b = Applicative f => (a -> f b) -> s -> f t Source

type Lens' s a = Functor f => (a -> f a) -> s -> f s Source

type Traversal' s a = Applicative f => (a -> f a) -> s -> f s Source

type Getting r s a = (a -> Const r a) -> s -> Const r s Source

type Setting s t a b = (a -> Identity b) -> s -> Identity t Source

view :: Getting a s a -> s -> a Source

over :: Setting s t a b -> (a -> b) -> s -> t Source

set :: Setting s t a b -> b -> s -> t Source