module Definitive (
module Definitive.Base,
module Data.Containers,
module Data.Containers.Sequence,
trace,trace2,mtrace,debug,
cli
) where
import Definitive.Base
import System.Environment (getArgs)
import Data.Containers
import Data.Containers.Sequence
trace :: String -> a -> a
trace s x = (putStrLn s^.thunk)`seq`x
trace2 :: String -> String -> a -> a
trace2 b a x = trace b (x`seq`trace a x)
mtrace :: Unit f => String -> f ()
mtrace str = trace str (pure ())
debug :: Show a => a -> a
debug x = trace (show x) x
cli :: String -> (( ?cliargs :: [String], ?progName :: String ) => IO a) -> IO a
cli name main = getArgs >>= \a -> let ?progName = name ; ?cliargs = a in main