|
definition:
|
getAndOrAsTupel :: Expression a -> Maybe (SpanInfo, String, String)
getAndOrAsTupel e = case e of
(Apply
sI
(Apply _
(Variable _ _
(QualIdent _ _ (Ident _ func _)))
(Variable _ _
(QualIdent _ _
(Ident _ inf _))))
_) -> Just (sI, func, inf)
_ -> Nothing
|
|
demand:
|
argument 1
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
-- Returns relevant parts of ast for catching combinations of `foldr` / `foldr` and `||` / `&&`.
|
|
failfree:
|
_
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{({Apply}) |-> _ || ({Literal}) |-> _ || ({Variable}) |-> _ || ({Constructor}) |-> _ || ({Paren}) |-> _ || ({Typed}) |-> _ || ({Record}) |-> _ || ({RecordUpdate}) |-> _ || ({Tuple}) |-> _ || ({List}) |-> _ || ({ListCompr}) |-> _ || ({EnumFrom}) |-> _ || ({EnumFromThen}) |-> _ || ({EnumFromTo}) |-> _ || ({EnumFromThenTo}) |-> _ || ({UnaryMinus}) |-> _ || ({InfixApply}) |-> _ || ({LeftSection}) |-> _ || ({RightSection}) |-> _ || ({Lambda}) |-> _ || ({Let}) |-> _ || ({Do}) |-> _ || ({IfThenElse}) |-> _ || ({Case}) |-> _}
|
|
name:
|
getAndOrAsTupel
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
{Just,Nothing}
|
|
signature:
|
Curry.Types.Expression a
-> Prelude.Maybe (Curry.SpanInfo.SpanInfo, String, String)
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
yes
|
|
totally-defined:
|
reducible on all ground data terms
|