Module Curry.ExactPrintClass

Summary of exported operations:

exactPrint :: ExactPrint a => a -> [(Span,Comment)] -> String  Deterministic 
printStringAt :: Span -> String -> EPSM ()  Deterministic 
printListAt :: PrintAt a => [a] -> EPSM ()  Deterministic 
printNode :: ExactPrint a => a -> EPSM ()  Deterministic 
empty :: EPSM ()  Deterministic 
fill :: EPSM () -> Exact  Deterministic 
noChilds :: Exact  Deterministic 

Exported datatypes:

PutExact

Type synonym: PutExact = EPSM ()

Exported operations:

exactPrint :: ExactPrint a => a -> [(Span,Comment)] -> String  Deterministic 

printStringAt :: Span -> String -> EPSM ()  Deterministic 

printListAt :: PrintAt a => [a] -> EPSM ()  Deterministic 

printNode :: ExactPrint a => a -> EPSM ()  Deterministic 

empty :: EPSM ()  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

fill :: EPSM () -> Exact  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

noChilds :: Exact  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions