Module

Network.Ethereum.Web3.Solidity.Size

Package
purescript-web3
Repository
f-o-a-m/purescript-web3

#NumCons Source

data NumCons a b

Instances

#type (:&) Source

Operator alias for Network.Ethereum.Web3.Solidity.Size.NumCons (right-associative / precedence 6)

#Z Source

data Z

Naturals

Instances

#S Source

data S n

Instances

#Succ Source

class Succ n m | n -> m, m -> n

Instances

#KnownNat Source

class KnownNat n  where

Members

Instances

#N0 Source

type N0 = Z

#N1 Source

type N1 = S N0

#N2 Source

type N2 = S N1

#N3 Source

type N3 = S N2

#N4 Source

type N4 = S N3

#N5 Source

type N5 = S N4

#N6 Source

type N6 = S N5

#N7 Source

type N7 = S N6

#N8 Source

type N8 = S N7

#N9 Source

type N9 = S N8

#N10 Source

type N10 = S N9

#N11 Source

type N11 = S N10

#N12 Source

type N12 = S N11

#N13 Source

type N13 = S N12

#N14 Source

type N14 = S N13

#N15 Source

type N15 = S N14

#N16 Source

type N16 = S N15