Language.Hakaru.Command

Documentation

type Term a = TrivialABT Term '[] a

parseAndInfer :: Text -> Either Text (TypedAST (TrivialABT Term))

parseAndInferWithMode :: ABT Term abt => Text -> TypeCheckMode -> Either Text (TypedAST abt)

data Source

Constructors

Source

Fields

• file :: Maybe FilePath
• source :: Text

sourceInput :: Source -> Maybe (Vector Text)

noFileSource :: Text -> Source

fileSource :: FilePath -> Text -> Source

parseAndInfer' :: Source -> IO (Either Text (TypedAST (TrivialABT Term)))

parseAndInferWithMode' :: ABT Term abt => Source -> TypeCheckMode -> IO (Either Text (TypedAST abt))

parseAndInferWithDebug :: Bool -> Text -> IO (Either Text (TypedAST (TrivialABT Term)))

splitLines :: Text -> Maybe (Vector Text)

readFromFile :: String -> IO Text

readFromFile' :: String -> IO Source

simpleCommand :: (Text -> IO ()) -> Text -> IO ()

writeToFile :: String -> Text -> IO ()