module Jacinda.Backend.Const ( mkI, mkF, mkStr, mkB ) where

import           A
import qualified Data.ByteString as BS
import           Ty.Const

mkI :: Integer -> E T
mkI :: Integer -> E T
mkI = T -> L -> E T
forall a. a -> L -> E a
Lit T
tyI(L -> E T) -> (Integer -> L) -> Integer -> E T
forall b c a. (b -> c) -> (a -> b) -> a -> c
.Integer -> L
ILit

mkF :: Double -> E T
mkF :: Double -> E T
mkF = T -> L -> E T
forall a. a -> L -> E a
Lit T
tyF(L -> E T) -> (Double -> L) -> Double -> E T
forall b c a. (b -> c) -> (a -> b) -> a -> c
.Double -> L
FLit

mkB :: Bool -> E T
mkB :: Bool -> E T
mkB = T -> L -> E T
forall a. a -> L -> E a
Lit T
tyB(L -> E T) -> (Bool -> L) -> Bool -> E T
forall b c a. (b -> c) -> (a -> b) -> a -> c
.Bool -> L
BLit

mkStr :: BS.ByteString -> E T
mkStr :: ByteString -> E T
mkStr = T -> L -> E T
forall a. a -> L -> E a
Lit T
tyStr(L -> E T) -> (ByteString -> L) -> ByteString -> E T
forall b c a. (b -> c) -> (a -> b) -> a -> c
.ByteString -> L
StrLit