Skip to content
This repository was archived by the owner on Mar 25, 2021. It is now read-only.

Commit c67f792

Browse files
paf31paf31
authored
Merge pull request #4 from purescript/break-up
Break up modules
2 parents 4532097 + daadc68 commit c67f792

File tree

6 files changed

+160
-142
lines changed

6 files changed

+160
-142
lines changed

‎src/Data/Generic/Rep.purs‎

Lines changed: 0 additions & 140 deletions
Original file line numberDiff line numberDiff line change
@@ -10,24 +10,8 @@ module Data.Generic.Rep
1010
, Argument(..)
1111
, Rec(..)
1212
, Field(..)
13-
, class GenericEq
14-
, genericEq'
15-
, genericEq
16-
, class GenericOrd
17-
, genericCompare'
18-
, genericCompare
19-
, class GenericSemigroup
20-
, genericAppend'
21-
, genericAppend
22-
, class GenericMonoid
23-
, genericMempty'
24-
, genericMempty
2513
) where
2614

27-
import Prelude
28-
29-
import Data.Monoid (class Monoid, mempty)
30-
3115
-- | A representation for types with no constructors.
3216
data NoConstructors
3317

@@ -59,127 +43,3 @@ newtype Field (field :: Symbol) a = Field a
5943
class Generic a rep | a -> rep where
6044
to :: rep -> a
6145
from :: a -> rep
62-
63-
class GenericEq a where
64-
genericEq' :: a -> a -> Boolean
65-
66-
instance genericEqNoConstructors :: GenericEq NoConstructors where
67-
genericEq' _ _ = true
68-
69-
instance genericEqNoArguments :: GenericEq NoArguments where
70-
genericEq' _ _ = true
71-
72-
instance genericEqSum :: (GenericEq a, GenericEq b) => GenericEq (Sum a b) where
73-
genericEq' (Inl a1) (Inl a2) = genericEq' a1 a2
74-
genericEq' (Inr b1) (Inr b2) = genericEq' b1 b2
75-
genericEq' _ _ = false
76-
77-
instance genericEqProduct :: (GenericEq a, GenericEq b) => GenericEq (Product a b) where
78-
genericEq' (Product a1 b1) (Product a2 b2) = genericEq' a1 a2 && genericEq' b1 b2
79-
80-
instance genericEqConstructor :: GenericEq a => GenericEq (Constructor name a) where
81-
genericEq' (Constructor a1) (Constructor a2) = genericEq' a1 a2
82-
83-
instance genericEqArgument :: Eq a => GenericEq (Argument a) where
84-
genericEq' (Argument a1) (Argument a2) = a1 == a2
85-
86-
instance genericEqRec :: GenericEq a => GenericEq (Rec a) where
87-
genericEq' (Rec a1) (Rec a2) = genericEq' a1 a2
88-
89-
instance genericEqField :: Eq a => GenericEq (Field name a) where
90-
genericEq' (Field a1) (Field a2) = a1 == a2
91-
92-
-- | A `Generic` implementation of the `eq` member from the `Eq` type class.
93-
genericEq :: forall a rep. (Generic a rep, GenericEq rep) => a -> a -> Boolean
94-
genericEq x y = genericEq' (from x) (from y)
95-
96-
class GenericOrd a where
97-
genericCompare' :: a -> a -> Ordering
98-
99-
instance genericOrdNoConstructors :: GenericOrd NoConstructors where
100-
genericCompare' _ _ = EQ
101-
102-
instance genericOrdNoArguments :: GenericOrd NoArguments where
103-
genericCompare' _ _ = EQ
104-
105-
instance genericOrdSum :: (GenericOrd a, GenericOrd b) => GenericOrd (Sum a b) where
106-
genericCompare' (Inl a1) (Inl a2) = genericCompare' a1 a2
107-
genericCompare' (Inr b1) (Inr b2) = genericCompare' b1 b2
108-
genericCompare' (Inl b1) (Inr b2) = LT
109-
genericCompare' (Inr b1) (Inl b2) = GT
110-
111-
instance genericOrdProduct :: (GenericOrd a, GenericOrd b) => GenericOrd (Product a b) where
112-
genericCompare' (Product a1 b1) (Product a2 b2) =
113-
case genericCompare' a1 a2 of
114-
EQ -> genericCompare' b1 b2
115-
other -> other
116-
117-
instance genericOrdConstructor :: GenericOrd a => GenericOrd (Constructor name a) where
118-
genericCompare' (Constructor a1) (Constructor a2) = genericCompare' a1 a2
119-
120-
instance genericOrdArgument :: Ord a => GenericOrd (Argument a) where
121-
genericCompare' (Argument a1) (Argument a2) = compare a1 a2
122-
123-
instance genericOrdRec :: GenericOrd a => GenericOrd (Rec a) where
124-
genericCompare' (Rec a1) (Rec a2) = genericCompare' a1 a2
125-
126-
instance genericOrdField :: Ord a => GenericOrd (Field name a) where
127-
genericCompare' (Field a1) (Field a2) = compare a1 a2
128-
129-
-- | A `Generic` implementation of the `compare` member from the `Ord` type class.
130-
genericCompare :: forall a rep. (Generic a rep, GenericOrd rep) => a -> a -> Ordering
131-
genericCompare x y = genericCompare' (from x) (from y)
132-
133-
class GenericSemigroup a where
134-
genericAppend' :: a -> a -> a
135-
136-
instance genericSemigroupNoConstructors :: GenericSemigroup NoConstructors where
137-
genericAppend' a _ = a
138-
139-
instance genericSemigroupNoArguments :: GenericSemigroup NoArguments where
140-
genericAppend' a _ = a
141-
142-
instance genericSemigroupProduct :: (GenericSemigroup a, GenericSemigroup b) => GenericSemigroup (Product a b) where
143-
genericAppend' (Product a1 b1) (Product a2 b2) =
144-
Product (genericAppend' a1 a2) (genericAppend' b1 b2)
145-
146-
instance genericSemigroupConstructor :: GenericSemigroup a => GenericSemigroup (Constructor name a) where
147-
genericAppend' (Constructor a1) (Constructor a2) = Constructor (genericAppend' a1 a2)
148-
149-
instance genericSemigroupArgument :: Semigroup a => GenericSemigroup (Argument a) where
150-
genericAppend' (Argument a1) (Argument a2) = Argument (append a1 a2)
151-
152-
instance genericSemigroupRec :: GenericSemigroup a => GenericSemigroup (Rec a) where
153-
genericAppend' (Rec a1) (Rec a2) = Rec (genericAppend' a1 a2)
154-
155-
instance genericSemigroupField :: Semigroup a => GenericSemigroup (Field name a) where
156-
genericAppend' (Field a1) (Field a2) = Field (append a1 a2)
157-
158-
-- | A `Generic` implementation of the `append` member from the `Semigroup` type class.
159-
genericAppend :: forall a rep. (Generic a rep, GenericSemigroup rep) => a -> a -> a
160-
genericAppend x y = to (genericAppend' (from x) (from y))
161-
162-
class GenericMonoid a where
163-
genericMempty' :: a
164-
165-
instance genericMonoidNoArguments :: GenericMonoid NoArguments where
166-
genericMempty' = NoArguments
167-
168-
instance genericMonoidProduct :: (GenericMonoid a, GenericMonoid b) => GenericMonoid (Product a b) where
169-
genericMempty' = Product genericMempty' genericMempty'
170-
171-
instance genericMonoidConstructor :: GenericMonoid a => GenericMonoid (Constructor name a) where
172-
genericMempty' = Constructor genericMempty'
173-
174-
instance genericMonoidArgument :: Monoid a => GenericMonoid (Argument a) where
175-
genericMempty' = Argument mempty
176-
177-
instance genericMonoidRec :: GenericMonoid a => GenericMonoid (Rec a) where
178-
genericMempty' = Rec genericMempty'
179-
180-
instance genericMonoidField :: Monoid a => GenericMonoid (Field name a) where
181-
genericMempty' = Field mempty
182-
183-
-- | A `Generic` implementation of the `mempty` member from the `Monoid` type class.
184-
genericMempty :: forall a rep. (Generic a rep, GenericMonoid rep) => a
185-
genericMempty = to genericMempty'

‎src/Data/Generic/Rep/Eq.purs‎

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
module Data.Generic.Rep.Eq
2+
( class GenericEq
3+
, genericEq'
4+
, genericEq
5+
) where
6+
7+
import Prelude (class Eq, (==), (&&))
8+
import Data.Generic.Rep
9+
10+
class GenericEq a where
11+
genericEq' :: a -> a -> Boolean
12+
13+
instance genericEqNoConstructors :: GenericEq NoConstructors where
14+
genericEq' _ _ = true
15+
16+
instance genericEqNoArguments :: GenericEq NoArguments where
17+
genericEq' _ _ = true
18+
19+
instance genericEqSum :: (GenericEq a, GenericEq b) => GenericEq (Sum a b) where
20+
genericEq' (Inl a1) (Inl a2) = genericEq' a1 a2
21+
genericEq' (Inr b1) (Inr b2) = genericEq' b1 b2
22+
genericEq' _ _ = false
23+
24+
instance genericEqProduct :: (GenericEq a, GenericEq b) => GenericEq (Product a b) where
25+
genericEq' (Product a1 b1) (Product a2 b2) = genericEq' a1 a2 && genericEq' b1 b2
26+
27+
instance genericEqConstructor :: GenericEq a => GenericEq (Constructor name a) where
28+
genericEq' (Constructor a1) (Constructor a2) = genericEq' a1 a2
29+
30+
instance genericEqArgument :: Eq a => GenericEq (Argument a) where
31+
genericEq' (Argument a1) (Argument a2) = a1 == a2
32+
33+
instance genericEqRec :: GenericEq a => GenericEq (Rec a) where
34+
genericEq' (Rec a1) (Rec a2) = genericEq' a1 a2
35+
36+
instance genericEqField :: Eq a => GenericEq (Field name a) where
37+
genericEq' (Field a1) (Field a2) = a1 == a2
38+
39+
-- | A `Generic` implementation of the `eq` member from the `Eq` type class.
40+
genericEq :: forall a rep. (Generic a rep, GenericEq rep) => a -> a -> Boolean
41+
genericEq x y = genericEq' (from x) (from y)

‎src/Data/Generic/Rep/Monoid.purs‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
module Data.Generic.Rep.Monoid
2+
( class GenericMonoid
3+
, genericMempty'
4+
, genericMempty
5+
) where
6+
7+
import Data.Monoid (class Monoid, mempty)
8+
import Data.Generic.Rep
9+
10+
class GenericMonoid a where
11+
genericMempty' :: a
12+
13+
instance genericMonoidNoArguments :: GenericMonoid NoArguments where
14+
genericMempty' = NoArguments
15+
16+
instance genericMonoidProduct :: (GenericMonoid a, GenericMonoid b) => GenericMonoid (Product a b) where
17+
genericMempty' = Product genericMempty' genericMempty'
18+
19+
instance genericMonoidConstructor :: GenericMonoid a => GenericMonoid (Constructor name a) where
20+
genericMempty' = Constructor genericMempty'
21+
22+
instance genericMonoidArgument :: Monoid a => GenericMonoid (Argument a) where
23+
genericMempty' = Argument mempty
24+
25+
instance genericMonoidRec :: GenericMonoid a => GenericMonoid (Rec a) where
26+
genericMempty' = Rec genericMempty'
27+
28+
instance genericMonoidField :: Monoid a => GenericMonoid (Field name a) where
29+
genericMempty' = Field mempty
30+
31+
-- | A `Generic` implementation of the `mempty` member from the `Monoid` type class.
32+
genericMempty :: forall a rep. (Generic a rep, GenericMonoid rep) => a
33+
genericMempty = to genericMempty'

‎src/Data/Generic/Rep/Ord.purs‎

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
module Data.Generic.Rep.Ord
2+
( class GenericOrd
3+
, genericCompare'
4+
, genericCompare
5+
) where
6+
7+
import Prelude (class Ord, compare, Ordering(..))
8+
import Data.Generic.Rep
9+
10+
class GenericOrd a where
11+
genericCompare' :: a -> a -> Ordering
12+
13+
instance genericOrdNoConstructors :: GenericOrd NoConstructors where
14+
genericCompare' _ _ = EQ
15+
16+
instance genericOrdNoArguments :: GenericOrd NoArguments where
17+
genericCompare' _ _ = EQ
18+
19+
instance genericOrdSum :: (GenericOrd a, GenericOrd b) => GenericOrd (Sum a b) where
20+
genericCompare' (Inl a1) (Inl a2) = genericCompare' a1 a2
21+
genericCompare' (Inr b1) (Inr b2) = genericCompare' b1 b2
22+
genericCompare' (Inl b1) (Inr b2) = LT
23+
genericCompare' (Inr b1) (Inl b2) = GT
24+
25+
instance genericOrdProduct :: (GenericOrd a, GenericOrd b) => GenericOrd (Product a b) where
26+
genericCompare' (Product a1 b1) (Product a2 b2) =
27+
case genericCompare' a1 a2 of
28+
EQ -> genericCompare' b1 b2
29+
other -> other
30+
31+
instance genericOrdConstructor :: GenericOrd a => GenericOrd (Constructor name a) where
32+
genericCompare' (Constructor a1) (Constructor a2) = genericCompare' a1 a2
33+
34+
instance genericOrdArgument :: Ord a => GenericOrd (Argument a) where
35+
genericCompare' (Argument a1) (Argument a2) = compare a1 a2
36+
37+
instance genericOrdRec :: GenericOrd a => GenericOrd (Rec a) where
38+
genericCompare' (Rec a1) (Rec a2) = genericCompare' a1 a2
39+
40+
instance genericOrdField :: Ord a => GenericOrd (Field name a) where
41+
genericCompare' (Field a1) (Field a2) = compare a1 a2
42+
43+
-- | A `Generic` implementation of the `compare` member from the `Ord` type class.
44+
genericCompare :: forall a rep. (Generic a rep, GenericOrd rep) => a -> a -> Ordering
45+
genericCompare x y = genericCompare' (from x) (from y)

‎src/Data/Generic/Rep/Semigroup.purs‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
module Data.Generic.Rep.Semigroup
2+
( class GenericSemigroup
3+
, genericAppend'
4+
, genericAppend
5+
) where
6+
7+
import Prelude (class Semigroup, append)
8+
import Data.Generic.Rep
9+
10+
class GenericSemigroup a where
11+
genericAppend' :: a -> a -> a
12+
13+
instance genericSemigroupNoConstructors :: GenericSemigroup NoConstructors where
14+
genericAppend' a _ = a
15+
16+
instance genericSemigroupNoArguments :: GenericSemigroup NoArguments where
17+
genericAppend' a _ = a
18+
19+
instance genericSemigroupProduct :: (GenericSemigroup a, GenericSemigroup b) => GenericSemigroup (Product a b) where
20+
genericAppend' (Product a1 b1) (Product a2 b2) =
21+
Product (genericAppend' a1 a2) (genericAppend' b1 b2)
22+
23+
instance genericSemigroupConstructor :: GenericSemigroup a => GenericSemigroup (Constructor name a) where
24+
genericAppend' (Constructor a1) (Constructor a2) = Constructor (genericAppend' a1 a2)
25+
26+
instance genericSemigroupArgument :: Semigroup a => GenericSemigroup (Argument a) where
27+
genericAppend' (Argument a1) (Argument a2) = Argument (append a1 a2)
28+
29+
instance genericSemigroupRec :: GenericSemigroup a => GenericSemigroup (Rec a) where
30+
genericAppend' (Rec a1) (Rec a2) = Rec (genericAppend' a1 a2)
31+
32+
instance genericSemigroupField :: Semigroup a => GenericSemigroup (Field name a) where
33+
genericAppend' (Field a1) (Field a2) = Field (append a1 a2)
34+
35+
-- | A `Generic` implementation of the `append` member from the `Semigroup` type class.
36+
genericAppend :: forall a rep. (Generic a rep, GenericSemigroup rep) => a -> a -> a
37+
genericAppend x y = to (genericAppend' (from x) (from y))

‎test/Main.purs‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,8 @@ import Prelude
44
import Control.Monad.Eff (Eff)
55
import Control.Monad.Eff.Console (CONSOLE, logShow)
66
import Data.Generic.Rep as G
7+
import Data.Generic.Rep.Eq as GEq
8+
import Data.Generic.Rep.Ord as GOrd
79

810
data List a = Nil | Cons a (List a)
911

@@ -17,10 +19,10 @@ instance genericList :: G.Generic (List a)
1719
from (Cons x xs) = G.Inr (G.Constructor (G.Product (G.Argument x) (G.Argument xs)))
1820

1921
instance eqList :: Eq a => Eq (List a) where
20-
eq x y = G.genericEq x y
22+
eq x y = GEq.genericEq x y
2123

2224
instance ordList :: Ord a => Ord (List a) where
23-
compare x y = G.genericCompare x y
25+
compare x y = GOrd.genericCompare x y
2426

2527
main :: Eff (console :: CONSOLE) Unit
2628
main = do

0 commit comments

Comments
 (0)