CurryInfo: exact-print-2.0.0 / Curry.ExactPrintClass.printStringAt

definition: Info
 
printStringAt :: Span -> String -> PutExact
printStringAt sp s =
  liftEPS $ withSrcInfoPoints (SpanInfo sp [sp]) [s] eps
  where
    EPSM (_, eps) = do
      liftEPS $ fillUpS (start sp) -- fill space before string
      empty                        -- no other keywords to print
      liftEPS $ fillUpS (end   sp) -- print string, add trailing space
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_) |-> _}
name: Info
 printStringAt
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Curry.Span.Span -> String -> EPSM ()
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term