Data.Ten.Internal

Internal utilities used by multiple modules.

Documentation

data PathComponent

The names of a lens and field selector, or coerce/_Wrapped.

Used in deriving Show/Pretty instances for field selector newtypes.

Constructors

NewtypeIso

Zooming in on the contents of a newtype with coerce or _Wrapped.

NamedField !Text !Text

Zooming in on a record field with the given named selector/lens.

showPathComponent :: PathComponent -> ShowS

Convert a PathComponent to a String, with a suffix.

showsPath :: Int -> [PathComponent] -> ShowS

Convert a list of PathComponents to a String, a la showsPrec.

portrayPathComponent :: PathComponent -> Portrayal

Pretty-print a PathComponent.

portrayPath :: [PathComponent] -> Portrayal

Pretty-print a field path.

dropUnderscore :: String -> String

Guess the name of the lens corresponding to a field.

starFst :: (f :*: g) m -> f m

Access the left side of a (:*:).

starSnd :: (f :*: g) m -> g m

Access the right side of a (:*:).

mapStarFst :: (f m -> f m) -> (f :*: g) m -> (f :*: g) m

Modify the left side of a (:*:).

mapStarSnd :: (g m -> g m) -> (f :*: g) m -> (f :*: g) m

Modify the right side of a (:*:).