Documentation
data S4 a b c d Source
Instances
(Eq a, Eq b, Eq c, Eq d) => Eq (S4 a b c d) | |
(Ord a, Ord b, Ord c, Ord d) => Ord (S4 a b c d) | |
(Show a, Show b, Show c, Show d) => Show (S4 a b c d) | |
Generic (S4 a b c d) | |
(Binary a, Binary b, Binary c, Binary d) => Binary (S4 a b c d) | |
caseS4 :: (a -> e) -> (b -> e) -> (c -> e) -> (d -> e) -> S4 a b c d -> eSource
mapS3 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> S3 a b c -> S3 a1 b1 c1Source
mapS4 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> S4 a b c d -> S4 a1 b1 c1 d1Source
mapS4a :: Functor f => (a -> f a1) -> (b -> f b1) -> (c -> f c1) -> (d -> f d1) -> S4 a b c d -> f (S4 a1 b1 c1 d1)Source