output-blocks
Safe HaskellNone
LanguageHaskell2010

Control.OutputCapable.Blocks.Debug

Description

Provides common functions for running Output-Monad within IO

Documentation

showDescription :: forall (m :: Type -> Type) inst. m ~ GenericReportT Language (IO ()) IO => Language -> IO inst -> (inst -> LangM m) -> IO (Maybe ()) Source #

data Display a where Source #

Constructors

Manual :: forall a. (a -> String) -> Display a 
AutoHughesPJ :: forall a. Pretty a => Display a 
AutoLeijen :: forall a. Pretty a => Display a 

display :: Display a -> a -> String Source #

testTask :: forall (m :: Type -> Type) a b c d inst. (m ~ GenericReportT Language (IO ()) IO, Show a, Show b, Show c, Show d) => Maybe (Display a) -> Language -> IO inst -> (inst -> LangM' m b) -> (inst -> a -> LangM' m c) -> (inst -> a -> LangM' m d) -> IO a -> IO () Source #

checkConfigWith :: forall (m :: Type -> Type) config. m ~ GenericReportT Language (IO ()) IO => Language -> config -> (config -> LangM m) -> IO Bool Source #

run :: forall (m :: Type -> Type) a. m ~ GenericReportT Language (IO ()) IO => Language -> LangM' m a -> IO (Maybe a) Source #