Safe Haskell | Safe-Infered |
---|
Documentation
class (Eq x, Typeable x) => ExtSumC s x | x -> s whereSource
accessExtSum :: x -> ExtSumF x -> (s, s -> x)Source
data SumSelector s v whereSource
:+? :: forall s x v. ExtSumC s x => x -> (ExtSumF x -> v) -> SumSelector s v |
callExtSum :: ExtSum s -> sSource
nextExtSum :: (s -> s) -> ExtSum s -> ExtSum sSource
selectExtSum :: [SumSelector s v] -> ExtSum s -> Maybe vSource
lensExtSum :: Lens (ExtSum s) sSource