Language.Hakaru.Repl

Documentation

type Binding = AST' Text -> AST' Text

type ReplM = HaskelineT (StateT Binding IO)

initialReplState :: Binding

extendBindings :: Binding -> Binding -> Binding

triv :: TrivialABT Term '[] a -> TrivialABT Term '[] a

app1 :: a -> AST' a -> AST' a

resolveAndInfer :: AST' Text -> Either Text (TypedAST (TrivialABT Term))

resolveAndInferWithMode :: ABT Term abt => AST' Text -> TypeCheckMode -> Either Text (TypedAST abt)

splitLines :: Text -> Maybe (Vector Text)

whenE :: MonadIO m => Either Text b -> m () -> m ()

illustrate :: Sing a -> GenIO -> Value a -> IO ()

renderLn :: Value a -> IO ()

runOnce :: GenIO -> AST' Text -> IO ()

type_ :: Cmd ReplM

initM :: ReplM ()

cmd :: GenIO -> String -> ReplM ()

cmd2 :: GenIO -> Cmd ReplM

repl :: GenIO -> IO ()

comp :: Monad m => WordCompleter m

help :: Cmd ReplM

expand :: Cmd ReplM

hist :: Cmd ReplM

opts :: Options ReplM

introBanner :: String

main :: IO ()