├── .gitignore ├── .travis.yml ├── README.md ├── bower.json ├── src ├── .tern-port └── Data │ └── Typelevel │ ├── Bool.purs │ ├── Num.purs │ ├── Num │ ├── Aliases.purs │ ├── Ops.purs │ ├── Reps.purs │ └── Sets.purs │ └── Undefined.purs └── test ├── Main.purs └── Num.purs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/.travis.yml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/README.md -------------------------------------------------------------------------------- /bower.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/bower.json -------------------------------------------------------------------------------- /src/.tern-port: -------------------------------------------------------------------------------- 1 | 34807 -------------------------------------------------------------------------------- /src/Data/Typelevel/Bool.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/src/Data/Typelevel/Bool.purs -------------------------------------------------------------------------------- /src/Data/Typelevel/Num.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/src/Data/Typelevel/Num.purs -------------------------------------------------------------------------------- /src/Data/Typelevel/Num/Aliases.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/src/Data/Typelevel/Num/Aliases.purs -------------------------------------------------------------------------------- /src/Data/Typelevel/Num/Ops.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/src/Data/Typelevel/Num/Ops.purs -------------------------------------------------------------------------------- /src/Data/Typelevel/Num/Reps.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/src/Data/Typelevel/Num/Reps.purs -------------------------------------------------------------------------------- /src/Data/Typelevel/Num/Sets.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/src/Data/Typelevel/Num/Sets.purs -------------------------------------------------------------------------------- /src/Data/Typelevel/Undefined.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/src/Data/Typelevel/Undefined.purs -------------------------------------------------------------------------------- /test/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/test/Main.purs -------------------------------------------------------------------------------- /test/Num.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bodil/purescript-typelevel/HEAD/test/Num.purs --------------------------------------------------------------------------------