Portability	portable
Stability	stable
Maintainer	claude@mathr.co.uk
Safe Haskell	None

TypeLevel.NaturalNumber.ExtraNumbers

Description

Boilerplate definitions generated by:

 flip mapM_ [16..53] $ \p -> let s = show p in
   putStrLn $ "type N" ++ s ++ " = SuccessorTo N" ++ show (p - 1) ++
     " ; n" ++ s ++ " :: N" ++ s ++ " ; n" ++ s ++ " = undefined"

Documentation

type N16 = SuccessorTo N15 Source

n16 :: N16 Source

type N17 = SuccessorTo N16 Source

n17 :: N17 Source

type N18 = SuccessorTo N17 Source

n18 :: N18 Source

type N19 = SuccessorTo N18 Source

n19 :: N19 Source

type N20 = SuccessorTo N19 Source

n20 :: N20 Source

type N21 = SuccessorTo N20 Source

n21 :: N21 Source

type N22 = SuccessorTo N21 Source

n22 :: N22 Source

type N23 = SuccessorTo N22 Source

n23 :: N23 Source

type N24 = SuccessorTo N23 Source

n24 :: N24 Source

type N25 = SuccessorTo N24 Source

n25 :: N25 Source

type N26 = SuccessorTo N25 Source

n26 :: N26 Source

type N27 = SuccessorTo N26 Source

n27 :: N27 Source

type N28 = SuccessorTo N27 Source

n28 :: N28 Source

type N29 = SuccessorTo N28 Source

n29 :: N29 Source

type N30 = SuccessorTo N29 Source

n30 :: N30 Source

type N31 = SuccessorTo N30 Source

n31 :: N31 Source

type N32 = SuccessorTo N31 Source

n32 :: N32 Source

type N33 = SuccessorTo N32 Source

n33 :: N33 Source

type N34 = SuccessorTo N33 Source

n34 :: N34 Source

type N35 = SuccessorTo N34 Source

n35 :: N35 Source

type N36 = SuccessorTo N35 Source

n36 :: N36 Source

type N37 = SuccessorTo N36 Source

n37 :: N37 Source

type N38 = SuccessorTo N37 Source

n38 :: N38 Source

type N39 = SuccessorTo N38 Source

n39 :: N39 Source

type N40 = SuccessorTo N39 Source

n40 :: N40 Source

type N41 = SuccessorTo N40 Source

n41 :: N41 Source

type N42 = SuccessorTo N41 Source

n42 :: N42 Source

type N43 = SuccessorTo N42 Source

n43 :: N43 Source

type N44 = SuccessorTo N43 Source

n44 :: N44 Source

type N45 = SuccessorTo N44 Source

n45 :: N45 Source

type N46 = SuccessorTo N45 Source

n46 :: N46 Source

type N47 = SuccessorTo N46 Source

n47 :: N47 Source

type N48 = SuccessorTo N47 Source

n48 :: N48 Source

type N49 = SuccessorTo N48 Source

n49 :: N49 Source

type N50 = SuccessorTo N49 Source

n50 :: N50 Source

type N51 = SuccessorTo N50 Source

n51 :: N51 Source

type N52 = SuccessorTo N51 Source

n52 :: N52 Source

type N53 = SuccessorTo N52 Source

n53 :: N53 Source