|
definition:
|
showGoExpr :: GoExpr -> ShowS
showGoExpr (GoBoolLit b) =
showString $ if b then "true" else "false"
showGoExpr (GoIntLit i) = shows i
showGoExpr (GoFloatLit f) = shows f
showGoExpr (GoStringLit s) = shows s
showGoExpr (GoByteLit c) = shows c
showGoExpr (GoCompositeLit t exprs) =
showString t . showString "{ " .
showGoCommaList showGoExpr exprs . showString " }"
showGoExpr (GoOpName s) = showString s
showGoExpr (GoOpExpr expr) = showParen True (showGoExpr expr)
showGoExpr (GoConversion t expr) =
showString t . showString "( " . showGoExpr expr . showString " )"
showGoExpr (GoSelector expr s) =
showGoExpr expr . showChar '.' . showString s
showGoExpr (GoIndex expr1 expr2) =
showGoExpr expr1 . showString "[ " . showGoExpr expr2 . showString " ]"
showGoExpr (GoSlice expr1 expr2 expr3) =
showGoExpr expr1 . showString "[ " . showGoExpr expr2 . showString " : " .
showGoExpr expr3 . showString " ]"
showGoExpr (GoVariadic expr) = showGoExpr expr . showString "..."
showGoExpr (GoCall expr exprs) =
showGoExpr expr . showString "( " . showGoCommaList showGoExpr exprs .
showString " )"
showGoExpr (GoUnaryExpr s expr) =
showString s . showChar ' ' . showGoExpr expr
showGoExpr (GoBinaryExpr expr1 s expr2) =
showGoExpr expr1 . showChar ' ' . showString s . showChar ' ' .
showGoExpr expr2
|
|
demand:
|
argument 1
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
--- Shows a Go expression as a string in Go syntax.
|
|
failfree:
|
_
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{({GoBoolLit}) |-> _ || ({GoIntLit}) |-> _ || ({GoFloatLit}) |-> _ || ({GoStringLit}) |-> _ || ({GoByteLit}) |-> _ || ({GoCompositeLit}) |-> {.._#lambda508} || ({GoOpName}) |-> {showString} || ({GoOpExpr}) |-> _ || ({GoConversion}) |-> {.._#lambda508} || ({GoSelector}) |-> {.._#lambda508} || ({GoIndex}) |-> {.._#lambda508} || ({GoSlice}) |-> {.._#lambda508} || ({GoVariadic}) |-> {.._#lambda508} || ({GoCall}) |-> {.._#lambda508} || ({GoUnaryExpr}) |-> {.._#lambda508} || ({GoBinaryExpr}) |-> {.._#lambda508}}
|
|
name:
|
showGoExpr
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
Language.Go.Types.GoExpr -> String -> String
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|