Module

Literals.Number

Package
purescript-literals
Repository
rowtype-yoga/purescript-literals

#FractionalPart Source

#IntegerPart Source

data IntegerPart :: NumberPartdata IntegerPart

Instances

#NumberLit Source

type NumberLit :: Symbol -> Typetype NumberLit sym = Literal Number sym

#Sign Source

data Sign :: NumberPartdata Sign

Instances

#Number Source

class Number :: Symbol -> Constraintclass Number (sym :: Symbol) 

Instances

#Number' Source

class Number' :: Symbol -> Symbol -> NumberPart -> Constraintclass Number' (head :: Symbol) (tail :: Symbol) (part :: NumberPart) 

Instances

#NumberPart Source

#numberLit Source

numberLit :: forall sym. IsSymbol sym => Number sym => NumberLit sym