Module

Type.RowList.Limits.LimitCount

Package
purescript-typelevel-rowlist-limits
Repository
mwalkerwells/purescript-typelevel-rowlist-limits

#LimitCount Source

class LimitCount (count :: Int) (rl :: RowList)

Instances

#LimitCountEmpty Source

class (LimitCount (Pos Z) rl) <= LimitCountEmpty (rl :: RowList)

Instances

#LimitCountZero Source

class (LimitCount (Pos Z) rl) <= LimitCountZero (rl :: RowList)

Instances

#LimitCountOne Source

class LimitCountOne (rl :: RowList)

Instances

#LimitCountTwo Source

class LimitCountTwo (rl :: RowList)

Instances

#LimitCountThree Source

class LimitCountThree (rl :: RowList)

Instances

#LimitCountFour Source

class LimitCountFour (rl :: RowList)

Instances

#LimitCountFive Source

class LimitCountFive (rl :: RowList)

Instances

#LimitCountSix Source

class LimitCountSix (rl :: RowList)

Instances

#LimitCountSeven Source

class LimitCountSeven (rl :: RowList)

Instances

#LimitCountEight Source

class LimitCountEight (rl :: RowList)

Instances

#LimitCountNine Source

class LimitCountNine (rl :: RowList)

Instances

#LimitCountTen Source

class LimitCountTen (rl :: RowList)

Instances

Re-exports from Prim.RowList

#Nil 

data Nil :: RowList

The empty RowList.

#Cons 

data Cons :: Symbol -> Type -> RowList -> RowList

Constructs a new RowList from a label, a type, and an existing tail RowList. E.g: Cons "x" Int (Cons "y" Int Nil).

#RowToList 

class RowToList (row :: Row Type) (list :: RowList) | row -> list

Compiler solved type class for generating a RowList from a closed row of types. Entries are sorted by label and duplicates are preserved in the order they appeared in the row.

#RowList 

data RowList :: Type

A type level list representation of a row of types.

Re-exports from Type.Data.Peano

#Z Source

data Z :: Nat

Represents 0

Instances

#Succ Source

data Succ :: Nat -> Nat

Represents Successor of a Nat: (Succ a) ^= 1 + a

Instances

#Pos Source

data Pos :: Nat -> Int

Represents a posivite number

Pos (Succ Z) ^= + 1

Instances

#P9 Source

type P9 = Pos D9

#P8 Source

type P8 = Pos D8

#P7 Source

type P7 = Pos D7

#P6 Source

type P6 = Pos D6

#P5 Source

type P5 = Pos D5

#P4 Source

type P4 = Pos D4

#P3 Source

type P3 = Pos D3

#P2 Source

type P2 = Pos D2

#P10 Source

type P10 = Pos D10

#P1 Source

type P1 = Pos D1

#P0 Source

type P0 = Pos D0

#Int Source

data Int :: Type

Represents a whole Number ℤ

Note: Pos Z and Neg Z both represent 0

Modules
Type.RowList.Limits
Type.RowList.Limits.ExactCount
Type.RowList.Limits.LimitCount
Type.RowList.Limits.TypeAliases