module Hydra.Dsl.Lib.Literals where

import Hydra.Phantoms
import Hydra.Sources.Libraries
import qualified Hydra.Dsl.Terms as Terms

import Data.Int


bigfloatToBigint :: TTerm (Double -> Double)
bigfloatToBigint :: TTerm (Double -> Double)
bigfloatToBigint = Term -> TTerm (Double -> Double)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Double -> Double))
-> Term -> TTerm (Double -> Double)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigfloatToBigint

bigfloatToFloat32 :: TTerm (Double -> Float)
bigfloatToFloat32 :: TTerm (Double -> Float)
bigfloatToFloat32 = Term -> TTerm (Double -> Float)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Double -> Float))
-> Term -> TTerm (Double -> Float)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigfloatToFloat32

bigfloatToFloat64 :: TTerm (Double -> Double)
bigfloatToFloat64 :: TTerm (Double -> Double)
bigfloatToFloat64 = Term -> TTerm (Double -> Double)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Double -> Double))
-> Term -> TTerm (Double -> Double)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigfloatToFloat64

bigintToBigfloat :: TTerm (Integer -> Double)
bigintToBigfloat :: TTerm (Integer -> Double)
bigintToBigfloat = Term -> TTerm (Integer -> Double)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Double))
-> Term -> TTerm (Integer -> Double)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigintToBigfloat

bigintToInt8 :: TTerm (Integer -> Int8)
bigintToInt8 :: TTerm (Integer -> Int8)
bigintToInt8 = Term -> TTerm (Integer -> Int8)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Int8))
-> Term -> TTerm (Integer -> Int8)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigintToInt8

bigintToInt16 :: TTerm (Integer -> Int16)
bigintToInt16 :: TTerm (Integer -> Int16)
bigintToInt16 = Term -> TTerm (Integer -> Int16)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Int16))
-> Term -> TTerm (Integer -> Int16)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigintToInt16

bigintToInt32 :: TTerm (Integer -> Int)
bigintToInt32 :: TTerm (Integer -> Int)
bigintToInt32 = Term -> TTerm (Integer -> Int)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Int)) -> Term -> TTerm (Integer -> Int)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigintToInt32

bigintToInt64 :: TTerm (Integer -> Int64)
bigintToInt64 :: TTerm (Integer -> Int64)
bigintToInt64 = Term -> TTerm (Integer -> Int64)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Int64))
-> Term -> TTerm (Integer -> Int64)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigintToInt64

bigintToUint8 :: TTerm (Integer -> Int16)
bigintToUint8 :: TTerm (Integer -> Int16)
bigintToUint8 = Term -> TTerm (Integer -> Int16)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Int16))
-> Term -> TTerm (Integer -> Int16)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigintToUint8

bigintToUint16 :: TTerm (Integer -> Int)
bigintToUint16 :: TTerm (Integer -> Int)
bigintToUint16 = Term -> TTerm (Integer -> Int)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Int)) -> Term -> TTerm (Integer -> Int)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigintToUint16

bigintToUint32 :: TTerm (Integer -> Int64)
bigintToUint32 :: TTerm (Integer -> Int64)
bigintToUint32 = Term -> TTerm (Integer -> Int64)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Int64))
-> Term -> TTerm (Integer -> Int64)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigintToUint32

bigintToUint64 :: TTerm (Integer -> Integer)
bigintToUint64 :: TTerm (Integer -> Integer)
bigintToUint64 = Term -> TTerm (Integer -> Integer)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Integer))
-> Term -> TTerm (Integer -> Integer)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_bigintToUint64

float32ToBigfloat :: TTerm (Float -> Double)
float32ToBigfloat :: TTerm (Float -> Double)
float32ToBigfloat = Term -> TTerm (Float -> Double)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Float -> Double))
-> Term -> TTerm (Float -> Double)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_float32ToBigfloat

float64ToBigfloat :: TTerm (Double -> Double)
float64ToBigfloat :: TTerm (Double -> Double)
float64ToBigfloat = Term -> TTerm (Double -> Double)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Double -> Double))
-> Term -> TTerm (Double -> Double)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_float64ToBigfloat

int8ToBigint :: TTerm (Int8 -> Integer)
int8ToBigint :: TTerm (Int8 -> Integer)
int8ToBigint = Term -> TTerm (Int8 -> Integer)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Int8 -> Integer))
-> Term -> TTerm (Int8 -> Integer)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_int8ToBigint

int16ToBigint :: TTerm (Int16 -> Integer)
int16ToBigint :: TTerm (Int16 -> Integer)
int16ToBigint = Term -> TTerm (Int16 -> Integer)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Int16 -> Integer))
-> Term -> TTerm (Int16 -> Integer)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_int16ToBigint

int32ToBigint :: TTerm (Int -> Integer)
int32ToBigint :: TTerm (Int -> Integer)
int32ToBigint = Term -> TTerm (Int -> Integer)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Int -> Integer)) -> Term -> TTerm (Int -> Integer)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_int32ToBigint

int64ToBigint :: TTerm (Int64 -> Integer)
int64ToBigint :: TTerm (Int64 -> Integer)
int64ToBigint = Term -> TTerm (Int64 -> Integer)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Int64 -> Integer))
-> Term -> TTerm (Int64 -> Integer)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_int64ToBigint

showInt32 :: TTerm (Int -> String)
showInt32 :: TTerm (Int -> String)
showInt32 = Term -> TTerm (Int -> String)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Int -> String)) -> Term -> TTerm (Int -> String)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_showInt32

showString :: TTerm (String -> String)
showString :: TTerm (String -> String)
showString = Term -> TTerm (String -> String)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (String -> String))
-> Term -> TTerm (String -> String)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_showString

uint8ToBigint :: TTerm (Int16 -> Integer)
uint8ToBigint :: TTerm (Int16 -> Integer)
uint8ToBigint = Term -> TTerm (Int16 -> Integer)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Int16 -> Integer))
-> Term -> TTerm (Int16 -> Integer)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_uint8ToBigint

uint16ToBigint :: TTerm (Int -> Integer)
uint16ToBigint :: TTerm (Int -> Integer)
uint16ToBigint = Term -> TTerm (Int -> Integer)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Int -> Integer)) -> Term -> TTerm (Int -> Integer)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_uint16ToBigint

uint32ToBigint :: TTerm (Int64 -> Integer)
uint32ToBigint :: TTerm (Int64 -> Integer)
uint32ToBigint = Term -> TTerm (Int64 -> Integer)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Int64 -> Integer))
-> Term -> TTerm (Int64 -> Integer)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_uint32ToBigint

uint64ToBigint :: TTerm (Integer -> Integer)
uint64ToBigint :: TTerm (Integer -> Integer)
uint64ToBigint = Term -> TTerm (Integer -> Integer)
forall a. Term -> TTerm a
TTerm (Term -> TTerm (Integer -> Integer))
-> Term -> TTerm (Integer -> Integer)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_literals_uint64ToBigint