Module

Type.Nat

Package: purescript-sql
Repository: joneshf/purescript-typelevel-sql

#Nat Source

data Nat :: Type

#Z Source

data Z :: Nat

Instances

ToInt Z

#S Source

data S :: Nat -> Nat

Instances

(ToInt n) => ToInt (S n)

#NProxy Source

data NProxy (nat :: Nat)

Constructors

NProxy

#ToInt Source

class ToInt (nat :: Nat)  where

Members

toInt :: NProxy nat -> Int

Instances

ToInt Z
(ToInt n) => ToInt (S n)

#ZERO Source

type ZERO = Z

#ONE Source

type ONE = S ZERO

#TWO Source

type TWO = S ONE

Modules: Main; SQL.Table; Type.Nat; Type.SQL; Type.SQL.Function