Module Curry.ExactPrintClass

Summary of exported operations:

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

Exported datatypes:


PutExact

Type synonym: PutExact = EPSM ()


Exported operations:

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

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

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

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

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

empty :: EPSM ()   

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

fill :: EPSM () -> Exact   

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

noChilds :: Exact   

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