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