Penny.Steel.Sums

Anonymous sum types.

Documentation

data S3 a b c

Constructors

S3a a

S3b b

S3c c

Instances

(Eq a, Eq b, Eq c) => Eq (S3 a b c)

(Ord a, Ord b, Ord c) => Ord (S3 a b c)

(Show a, Show b, Show c) => Show (S3 a b c)

data S4 a b c d

Constructors

S4a a

S4b b

S4c c

S4d d

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)

partitionS3 :: [S3 a b c] -> ([a], [b], [c])

partitionS4 :: [S4 a b c d] -> ([a], [b], [c], [d])

caseS3 :: (a -> d) -> (b -> d) -> (c -> d) -> S3 a b c -> d

caseS4 :: (a -> e) -> (b -> e) -> (c -> e) -> (d -> e) -> S4 a b c d -> e

mapS3 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> S3 a b c -> S3 a1 b1 c1

mapS4 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> S4 a b c d -> S4 a1 b1 c1 d1

mapS3a :: Functor f => (a -> f a1) -> (b -> f b1) -> (c -> f c1) -> S3 a b c -> f (S3 a1 b1 c1)

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)