Alias.hs (728B)
1 module Naturals.Speano.Alias where 2 3 import Naturals.Peano 4 import Naturals.Speano.Prim 5 6 pattern Speano0 :: Speano Peano0 7 pattern Speano0 = Zero 8 9 pattern Speano1 :: Speano Peano1 10 pattern Speano1 = Succ Speano0 11 12 pattern Speano2 :: Speano Peano2 13 pattern Speano2 = Succ Speano1 14 15 pattern Speano3 :: Speano Peano3 16 pattern Speano3 = Succ Speano2 17 18 pattern Speano4 :: Speano Peano4 19 pattern Speano4 = Succ Speano3 20 21 pattern Speano5 :: Speano Peano5 22 pattern Speano5 = Succ Speano4 23 24 pattern Speano6 :: Speano Peano6 25 pattern Speano6 = Succ Speano5 26 27 pattern Speano7 :: Speano Peano7 28 pattern Speano7 = Succ Speano6 29 30 pattern Speano8 :: Speano Peano8 31 pattern Speano8 = Succ Speano7 32 33 pattern Speano9 :: Speano Peano9 34 pattern Speano9 = Succ Speano8