Hydra.Impl.Haskell.Dsl.PhantomLiterals

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

Documentation

type Bigfloat = Double

type Binary = String

bigfloat :: Bigfloat -> Datum Bigfloat

bigint :: Integer -> Datum Integer

binary :: Binary -> Datum Binary

bool :: Bool -> Datum Bool

boolean :: Bool -> Datum Bool

double :: Double -> Datum Double

false :: Datum Bool

float :: Float -> Datum Float

float32 :: Float -> Datum Float

float64 :: Double -> Datum Double

int :: Int -> Datum Int

int8 :: Int8 -> Datum Int8

int16 :: Int16 -> Datum Int16

int32 :: Int -> Datum Int

int64 :: Int64 -> Datum Int64

string :: String -> Datum String

true :: Datum Bool

uint8 :: Int8 -> Datum Int8

uint16 :: Int16 -> Datum Int16

uint32 :: Int -> Datum Int

uint64 :: Int64 -> Datum Int64