Alias.hs (694B)
1 module Naturals.Snatural.Alias where 2 3 import Naturals.Peano 4 import Naturals.Snatural.Prim 5 6 pattern Snat0 :: Snatural Peano0 7 pattern Snat0 = Zero 8 9 pattern Snat1 :: Snatural Peano1 10 pattern Snat1 = Succ Snat0 11 12 pattern Snat2 :: Snatural Peano2 13 pattern Snat2 = Succ Snat1 14 15 pattern Snat3 :: Snatural Peano3 16 pattern Snat3 = Succ Snat2 17 18 pattern Snat4 :: Snatural Peano4 19 pattern Snat4 = Succ Snat3 20 21 pattern Snat5 :: Snatural Peano5 22 pattern Snat5 = Succ Snat4 23 24 pattern Snat6 :: Snatural Peano6 25 pattern Snat6 = Succ Snat5 26 27 pattern Snat7 :: Snatural Peano7 28 pattern Snat7 = Succ Snat6 29 30 pattern Snat8 :: Snatural Peano8 31 pattern Snat8 = Succ Snat7 32 33 pattern Snat9 :: Snatural Peano9 34 pattern Snat9 = Succ Snat8