SMR.Prim.Name

Documentation

data Prim

Primitive values and operators.

Constructors

PrimTagUnit

PrimTagList

PrimLitBool Bool

PrimLitNat Integer

PrimLitInt Integer

PrimLitWord8 Word8

PrimLitWord16 Word16

PrimLitWord32 Word32

PrimLitWord64 Word64

PrimLitInt8 Int8

PrimLitInt16 Int16

PrimLitInt32 Int32

PrimLitInt64 Int64

PrimLitFloat32 Float

PrimLitFloat64 Double

PrimOp Text

Instances

Eq Prim

Methods

(==) :: Prim -> Prim -> Bool

(/=) :: Prim -> Prim -> Bool

Ord Prim

Methods

compare :: Prim -> Prim -> Ordering

(<) :: Prim -> Prim -> Bool

(<=) :: Prim -> Prim -> Bool

(>) :: Prim -> Prim -> Bool

(>=) :: Prim -> Prim -> Bool

max :: Prim -> Prim -> Prim

min :: Prim -> Prim -> Prim

Show Prim

Methods

showsPrec :: Int -> Prim -> ShowS

show :: Prim -> String

showList :: [Prim] -> ShowS

Build Prim

Methods

build :: Prim -> Builder

Pretty

pprPrim :: Prim -> Text

Pretty print a primitive operator.

readPrim :: Set Text -> Text -> Maybe Prim

Parse a primitive name, without the leading #.

Bool

makeXBool :: Bool -> Exp s Prim

Make a literal Bool expression.

takeXBool :: Exp s Prim -> Maybe Bool

Take a literal Bool from an expression.

takeArgBool :: [Exp s Prim] -> Maybe (Bool, [Exp s Prim])

Split a literal Bool from an argument list.

Nat

makeXNat :: Integer -> Exp s Prim

Make a literal Nat expression.

takeXNat :: Exp s Prim -> Maybe Integer

Take a literal Nat from an expression.

takeArgNat :: [Exp s Prim] -> Maybe (Integer, [Exp s Prim])

Split a literal Nat from an argument list.

List

makeXList :: [Exp s Prim] -> Exp s Prim

Make a list of expressions.