Generics.SOP.Lens.Named

Monomorphic total lens, abstracted over target

type LensName = String

data NamedLens a ctxt

Total abstract lens

Constructors

ctxt b => NamedLens

Fields

• unNamedLens :: GLens (->) (->) a b

Instances

Show (NamedLens a ctxt)

Methods

showsPrec :: Int -> NamedLens a ctxt -> ShowS

show :: NamedLens a ctxt -> String

showList :: [NamedLens a ctxt] -> ShowS

get :: NamedLens a ctxt -> (forall b. ctxt b => b -> c) -> a -> c

modify :: NamedLens a ctxt -> (forall b. ctxt b => b -> b) -> a -> a

set :: NamedLens a ctxt -> (forall b. ctxt b => b) -> a -> a

Generic construction

gnamedLenses :: forall a ctxt xs. (Generic a, HasDatatypeInfo a, Code a ~ '[xs], All ctxt xs) => (DatatypeName -> ConstructorName -> LensName) -> [(String, NamedLens a ctxt)]

Construct named lenses for a record type

NOTE: This will throw a runtime error for non-record types