module Hydra.Impl.Haskell.Dsl.Lib.Literals where

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


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

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