CurryInfo: smtlib-3.0.0 / Language.SMTLIB.Goodies.isDeclData

definition: Info 
 
isDeclData :: Command -> Bool
isDeclData cmd = case cmd of
  DeclareDatatype _ _ -> True
  DeclareDatatypes  _ -> True
  _                   -> False
demand: Info 
 argument 1
deterministic: Info 
 deterministic operation
documentation: Info 
 
Is given SMT-LIB command a declaration of an algebraic data type
failfree: Info 
 _
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {({DeclareDatatype}) |-> {True} || ({DeclareDatatypes}) |-> {True} || ({Assert}) |-> _ || ({CheckSat}) |-> _ || ({CheckSatAssuming}) |-> _ || ({DeclareConst}) |-> _ || ({DeclareFun}) |-> _ || ({DeclareSort}) |-> _ || ({DefineFun}) |-> _ || ({DefineFunRec}) |-> _ || ({DefineFunsRec}) |-> _ || ({DefineSort}) |-> _ || ({Echo}) |-> _ || ({Exit}) |-> _ || ({GetAssertions}) |-> _ || ({GetAssignment}) |-> _ || ({GetInfo}) |-> _ || ({GetModel}) |-> _ || ({GetOption}) |-> _ || ({GetProof}) |-> _ || ({GetUnsatAssumptions}) |-> _ || ({GetUnsatCore}) |-> _ || ({GetValue}) |-> _ || ({Pop}) |-> _ || ({Push}) |-> _ || ({Reset}) |-> _ || ({ResetAssertions}) |-> _ || ({SetInfo}) |-> _ || ({SetLogic}) |-> _ || ({SetOption}) |-> _ || ({Comment}) |-> _}
name: Info 
 isDeclData
precedence: Info 
 no precedence defined
result-values: Info 
 {False,True}
signature: Info 
 Language.SMTLIB.Types.Command -> Prelude.Bool
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 yes
totally-defined: Info 
 reducible on all ground data terms