UHC.Util.Lens

Minimal redefine + re-export of a lens package, fclabels currently. in addition providing some of the instances for datatypes defined in the remainder of the uhc-util package.

Documentation

type (:->) f o = Lens Total f o

Total monomorphic lens.

type Lens a b = a :-> b

Access

(^*) :: (a :-> b) -> (b :-> c) -> a :-> c infixl 9

composition

(^.) :: a -> (a :-> b) -> b infixl 8

functional getter, which acts like a field accessor

(^=) :: (a :-> b) -> b -> a -> a infixr 4

functional setter, which acts like a field assigner

(^$=) :: (a :-> b) -> (b -> b) -> a -> a infixr 4

functional modify

(=.) :: MonadState f m => Lens (->) f o -> (o -> o) -> m () infixr 2

Alias for modify that reads more or less like an assignment.

(=:) :: MonadState f m => Lens (->) f o -> o -> m () infixr 2

Alias for puts that reads like an assignment.

(=$:) :: MonadState f m => (f :-> o) -> (o -> o) -> m () infixr 4

monadic modify & set

getl :: MonadState f m => (f :-> o) -> m o

Alias for gets avoiding conflict with MonadState

Misc

focus :: (MonadState a m, MonadState b m) => (a :-> b) -> m c -> m c

mkLabel :: Name -> Q [Dec]

Derive labels including type signatures for all the record selectors in a single datatype. The types will be polymorphic and can be used in an arbitrary context.

Wrappers

isoMb :: String -> (f :-> Maybe o) -> f :-> o

Wrapper around a Maybe with an embedded panic in case of Nothing, with a panic message

isoMbWithDefault :: o -> (f :-> Maybe o) -> f :-> o

Wrapper around a Maybe with a default in case of Nothing