Hydra.Dsl.PhantomLiterals

A DSL for constructing literal terms using Haskell's built-in datatypes

Documentation

type Bigfloat = Double

type Binary = String

bigfloat :: Bigfloat -> TTerm Bigfloat

bigint :: Integer -> TTerm Integer

binary :: Binary -> TTerm Binary

bool :: Bool -> TTerm Bool

boolean :: Bool -> TTerm Bool

double :: Double -> TTerm Double

false :: TTerm Bool

float :: Float -> TTerm Float

float32 :: Float -> TTerm Float

float64 :: Double -> TTerm Double

int :: Int -> TTerm Int

int8 :: Int8 -> TTerm Int8

int16 :: Int16 -> TTerm Int16

int32 :: Int -> TTerm Int

int64 :: Int64 -> TTerm Int64

string :: String -> TTerm String

true :: TTerm Bool

uint8 :: Int8 -> TTerm Int8

uint16 :: Int16 -> TTerm Int16

uint32 :: Int -> TTerm Int

uint64 :: Int64 -> TTerm Int64