CurryInfo: rw-data-generator-2.0.0 / RW.Build.appendIf

definition:
 
appendIf :: Bool -> [a] -> a -> [a]
appendIf True  xs x = xs ++ [x]
appendIf False xs _ = xs
demand:
 arguments 1 2
deterministic:
 deterministic operation
documentation:
 
Appends an element to a list if a given condition is true
failfree:
 (_, _, _)
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {({True},_,_) |-> _ || ({False},_,_) |-> _}
name:
 appendIf
precedence:
 no precedence defined
result-values:
 _
signature:
 Prelude.Bool -> [a] -> a -> [a]
solution-complete:
 operationally complete operation
terminating:
 yes
totally-defined:
 reducible on all ground data terms