CurryInfo: spicey-4.2.0 / Spicey.GenerationHelper.domainDefaultValue

 
domainDefaultValue :: CExpr -> Domain -> CExpr
domainDefaultValue defaultctime domain = case domain of
    IntDom    _  -> CLit (CIntc 0)
    FloatDom  _  -> CLit (CFloatc 0)
    CharDom   _  -> CLit (CCharc ' ')
    StringDom _  -> string2ac []
    BoolDom   _  -> constF (pre "False")
    DateDom   _  -> defaultctime
    UserDefined _ _ -> list2ac [] -- no support of user-defined default values
    KeyDom _    -> CLit (CIntc 0)
    _ -> error "GenerationHelper.domainDefaultValue: unknown domain"

 argument 2

 deterministic operation

 
Generates Curry expressions representing a default values
for a given domain.
The first argument contains an expression that is used for
ClockTime attributes (it is set to the current
time as a default value).

 (_, _)

 referentially transparent operation

 no fixity defined

 {(_,{IntDom}) |-> {CLit} || (_,{FloatDom}) |-> {CLit} || (_,{CharDom}) |-> {CLit} || (_,{StringDom}) |-> {CLit} || (_,{BoolDom}) |-> _ || (_,{DateDom}) |-> _ || (_,{UserDefined}) |-> _ || (_,{KeyDom}) |-> {CLit}}

 domainDefaultValue

 no precedence defined

 _

 AbstractCurry.Types.CExpr -> Database.ERD.Domain -> AbstractCurry.Types.CExpr

 operation might suspend on free variables

 yes

 reducible on all ground data terms