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)
- constructorName :: Lens' (ConstructorInfo xs) ConstructorName
Documentation
SOP & POP
Functors
Products
Sums
DatatypeInfo
moduleName :: Lens' (DatatypeInfo xss) ModuleName Source #
datatypeName :: Lens' (DatatypeInfo xss) DatatypeName Source #
constructorInfo :: Lens' (DatatypeInfo xss) (NP ConstructorInfo xss) Source #
constructorName :: Lens' (ConstructorInfo xs) ConstructorName Source #
Note: Infix
constructor has operator as a ConstructorName
. Use as
setter with care.
Orphan instances
Wrapped (I a) Source # | |
(~) * t (I a) => Rewrapped (I a) t Source # | |
Wrapped (SOP k f xss) Source # | |
Wrapped (POP k f xss) Source # | |
Wrapped (K k a b) Source # | |
(~) * t (SOP k f xss) => Rewrapped (SOP k f xss) t Source # | |
(~) * t (POP k f xss) => Rewrapped (POP k f xss) t Source # | |
(~) * t (K k a b) => Rewrapped (K k a b) t Source # | |
Field1 (NP a f ((:) a x zs)) (NP a f ((:) a y zs)) (f x) (f y) Source # | |
Field2 (NP a f ((:) a a1 ((:) a x zs))) (NP a f ((:) a a1 ((:) a y zs))) (f x) (f y) Source # | |
Field3 (NP a f ((:) a a1 ((:) a b ((:) a x zs)))) (NP a f ((:) a a1 ((:) a b ((:) a y zs)))) (f x) (f y) Source # | |
Field4 (NP a f ((:) a a1 ((:) a b ((:) a c ((:) a x zs))))) (NP a f ((:) a a1 ((:) a b ((:) a c ((:) a y zs))))) (f x) (f y) Source # | |
Field5 (NP a f ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a x zs)))))) (NP a f ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a y zs)))))) (f x) (f y) Source # | |
Field6 (NP a f ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a e ((:) a x zs))))))) (NP a f ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a e ((:) a y zs))))))) (f x) (f y) Source # | |
Field7 (NP a f' ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a e ((:) a f ((:) a x zs)))))))) (NP a f' ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a e ((:) a f ((:) a y zs)))))))) (f' x) (f' y) Source # | |
Field8 (NP a f' ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a e ((:) a f ((:) a g ((:) a x zs))))))))) (NP a f' ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a e ((:) a f ((:) a g ((:) a y zs))))))))) (f' x) (f' y) Source # | |
Field9 (NP a f' ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a e ((:) a f ((:) a g ((:) a h ((:) a x zs)))))))))) (NP a f' ((:) a a1 ((:) a b ((:) a c ((:) a d ((:) a e ((:) a f ((:) a g ((:) a h ((:) a y zs)))))))))) (f' x) (f' y) Source # | |
Field1 (POP k f ((:) [k] x zs)) (POP k f ((:) [k] y zs)) (NP k f x) (NP k f y) Source # | |
Field2 (POP k f ((:) [k] a ((:) [k] x zs))) (POP k f ((:) [k] a ((:) [k] y zs))) (NP k f x) (NP k f y) Source # | |
Field3 (POP k f ((:) [k] a ((:) [k] b ((:) [k] x zs)))) (POP k f ((:) [k] a ((:) [k] b ((:) [k] y zs)))) (NP k f x) (NP k f y) Source # | |
Field4 (POP k f ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] x zs))))) (POP k f ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] y zs))))) (NP k f x) (NP k f y) Source # | |
Field5 (POP k f ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] x zs)))))) (POP k f ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] y zs)))))) (NP k f x) (NP k f y) Source # | |
Field6 (POP k f ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] e ((:) [k] x zs))))))) (POP k f ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] e ((:) [k] y zs))))))) (NP k f x) (NP k f y) Source # | |
Field7 (POP k f' ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] e ((:) [k] f ((:) [k] x zs)))))))) (POP k f' ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] e ((:) [k] f ((:) [k] y zs)))))))) (NP k f' x) (NP k f' y) Source # | |
Field8 (POP k f' ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] e ((:) [k] f ((:) [k] g ((:) [k] x zs))))))))) (POP k f' ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] e ((:) [k] f ((:) [k] g ((:) [k] y zs))))))))) (NP k f' x) (NP k f' y) Source # | |
Field9 (POP k f' ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] e ((:) [k] f ((:) [k] g ((:) [k] h ((:) [k] x zs)))))))))) (POP k f' ((:) [k] a ((:) [k] b ((:) [k] c ((:) [k] d ((:) [k] e ((:) [k] f ((:) [k] g ((:) [k] h ((:) [k] y zs)))))))))) (NP k f' x) (NP k f' y) Source # | |