# 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