Alias.hs (1113B)
1 module Naturals.Peano.Alias where 2 3 import Naturals.Peano.Prim 4 5 pattern SZ, SSZ, SSSZ, SSSSZ, SSSSSZ, SSSSSSZ, SSSSSSSZ, SSSSSSSSZ, SSSSSSSSSZ :: Peano 6 pattern SZ = S Z 7 pattern SSZ = S SZ 8 pattern SSSZ = S SSZ 9 pattern SSSSZ = S SSSZ 10 pattern SSSSSZ = S SSSSZ 11 pattern SSSSSSZ = S SSSSSZ 12 pattern SSSSSSSZ = S SSSSSSZ 13 pattern SSSSSSSSZ = S SSSSSSSZ 14 pattern SSSSSSSSSZ = S SSSSSSSSZ 15 16 type SZ = S Z 17 type SSZ = S SZ 18 type SSSZ = S SSZ 19 type SSSSZ = S SSSZ 20 type SSSSSZ = S SSSSZ 21 type SSSSSSZ = S SSSSSZ 22 type SSSSSSSZ = S SSSSSSZ 23 type SSSSSSSSZ = S SSSSSSSZ 24 type SSSSSSSSSZ = S SSSSSSSSZ 25 26 pattern Peano0, Peano1, Peano2, Peano3, Peano4, Peano5, Peano6, Peano7, Peano8, Peano9 :: Peano 27 pattern Peano0 = Z 28 pattern Peano1 = SZ 29 pattern Peano2 = SSZ 30 pattern Peano3 = SSSZ 31 pattern Peano4 = SSSSZ 32 pattern Peano5 = SSSSSZ 33 pattern Peano6 = SSSSSSZ 34 pattern Peano7 = SSSSSSSZ 35 pattern Peano8 = SSSSSSSSZ 36 pattern Peano9 = SSSSSSSSSZ 37 38 type Peano0 = Z 39 type Peano1 = SZ 40 type Peano2 = SSZ 41 type Peano3 = SSSZ 42 type Peano4 = SSSSZ 43 type Peano5 = SSSSSZ 44 type Peano6 = SSSSSSZ 45 type Peano7 = SSSSSSSZ 46 type Peano8 = SSSSSSSSZ 47 type Peano9 = SSSSSSSSSZ