Generics.SOP.Lens

Contents

• SOP & POP
• Functors
• Products
• Sums
• DatatypeInfo

Description

Wrapped (SOP f xss) -- Also Rewrapped
Wrapped (POP f xss)
Field1 (NP f (x ': zs)) (NP f (y ': zs)) (f x) (f y) -- Field2 etc.
Field1 (POP f (x ': zs)) (NP f (y ': zs)) (NP f x) (NP f y)

Synopsis

• rep :: Generic a => Iso' a (Rep a)
• sop :: forall f xss yss. Iso (NS (NP f) xss) (NS (NP f) yss) (SOP f xss) (SOP f yss)
• pop :: forall f xss yss. Iso (NP (NP f) xss) (NP (NP f) yss) (POP f xss) (POP f yss)
• unsop :: forall f xss yss. Iso (SOP f xss) (SOP f yss) (NS (NP f) xss) (NS (NP f) yss)
• unpop :: forall f xss yss. Iso (POP f xss) (POP f yss) (NP (NP f) xss) (NP (NP f) yss)
• isoI :: Iso a b (I a) (I b)
• isoK :: Iso a b (K a c) (K b c)
• uni :: Iso (I a) (I b) a b
• unk :: Iso (K a c) (K b c) a b
• singletonP :: forall f x y. Iso (f x) (f y) (NP f `[x]`) (NP f `[y]`)
• unSingletonP :: forall f x y. Iso (NP f `[x]`) (NP f `[y]`) (f x) (f y)
• headLens :: forall f x y zs. Lens (NP f (x : zs)) (NP f (y : zs)) (f x) (f y)
• tailLens :: forall f x ys zs. Lens (NP f (x : ys)) (NP f (x : zs)) (NP f ys) (NP f zs)
• singletonS :: forall f x y. Iso (f x) (f y) (NS f `[x]`) (NS f `[y]`)
• unSingletonS :: forall f x y. Iso (NS f `[x]`) (NS f `[y]`) (f x) (f y)
• _Z :: forall f x y zs. Prism (NS f (x : zs)) (NS f (y : zs)) (f x) (f y)
• _S :: forall f x ys zs. Prism (NS f (x : ys)) (NS f (x : zs)) (NS f ys) (NS f zs)
• moduleName :: Lens' (DatatypeInfo xss) ModuleName
• datatypeName :: Lens' (DatatypeInfo xss) DatatypeName
• constructorInfo :: Lens' (DatatypeInfo xss) (NP ConstructorInfo xss)

Documentation

SOP & POP

Functors

Products

Sums

DatatypeInfo