-- This internal module is used by Language.Hakaru.Simplify to parse strings
-- as Hakaru code.  It exports just the names that those strings may use.

module Language.Hakaru.RoundTrip 
  ( ()(..), (,)(..), Either(..), Bool(..), Num(..)
  , Fractional(..), Floating(..), ($), Any(Any), (^^)
  , module Language.Hakaru.Syntax) where

import GHC.Tuple (()(..), (,)(..))
import Language.Hakaru.Syntax
import Language.Hakaru.Any (Any(Any))

-- This internal module is used by Language.Hakaru.Simplify to parse strings
-- as Hakaru code.  It exports just the names that those strings may use.

module Language.Hakaru.RoundTrip 
  ( ()(..), (,)(..), Either(..), Bool(..), Int(..), Num(..)
  , Fractional(..), Floating(..), ($), Any(Any), (^^)
  , module Language.Hakaru.Syntax) where

import GHC.Tuple (()(..), (,)(..))
import Language.Hakaru.Syntax
import Language.Hakaru.Any (Any(Any))

Allow the word "Int" during roundtripping
Allow the word "Int" during roundtripping
