module Hydra.Dsl.Lib.Io where

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


showTerm :: Datum (Term -> String)
showTerm :: Datum (Term -> String)
showTerm = Term -> Datum (Term -> String)
forall a. Term -> Datum a
Datum (Term -> Datum (Term -> String)) -> Term -> Datum (Term -> String)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_io_showTerm

showType :: Datum (Type -> String)
showType :: Datum (Type -> String)
showType = Term -> Datum (Type -> String)
forall a. Term -> Datum a
Datum (Term -> Datum (Type -> String)) -> Term -> Datum (Type -> String)
forall a b. (a -> b) -> a -> b
$ Name -> Term
Terms.primitive Name
_io_showType