Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
singletonP :: forall f x y. Iso (f x) (f y) (NP f `[x]`) (NP f `[y]`) Source
unSingletonP :: forall f x y. Iso (NP f `[x]`) (NP f `[y]`) (f x) (f y) Source
Sums
singletonS :: forall f x y. Iso (f x) (f y) (NS f `[x]`) (NS f `[y]`) Source
unSingletonS :: forall f x y. Iso (NS f `[x]`) (NS f `[y]`) (f x) (f y) Source
DatatypeInfo
moduleName :: Lens' (DatatypeInfo xss) ModuleName Source
datatypeName :: Lens' (DatatypeInfo xss) DatatypeName Source
constructorInfo :: Lens' (DatatypeInfo xss) (NP ConstructorInfo xss) Source