CurryInfo: flatcurry-annotated-3.3.0 / FlatCurry.Annotated.Pretty.ppFuncExports

definition:
 
ppFuncExports :: [AFuncDecl _] -> [Doc]
ppFuncExports fs = [ ppPrefixOp qn | AFunc qn _ Public _ _ <- fs]
demand:
 argument 1
deterministic:
 deterministic operation
documentation:
 
pretty-print the export list of functions
failfree:
 _
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {(_) |-> _}
name:
 ppFuncExports
precedence:
 no precedence defined
result-values:
 _
signature:
 [FlatCurry.Annotated.Types.AFuncDecl a] -> [Text.PrettyImpl.Doc]
solution-complete:
 operation might suspend on free variables
terminating:
 possibly non-terminating
totally-defined:
 possibly non-reducible on same data term