Skip to main content

module salix::demo::basic::Bug

rascal-0.41.2
org.rascalmpl.salix-core-0.2.9

Usage​

import salix::demo::basic::Bug;

Dependencies​

import Content;

alias Model​

tuple[real c]

alias App​

Content

alias DebugModel​

tuple[int current, list[&T] models, list[Msg] messages, &T(Msg, &T) update]

function debug​

App[DebugModel[&T]] debug(str appId,
                          &T() model, 
                          void(DebugModel[&T]) view,
                          &T(Msg, &T) upd,  
                          loc static) {
    throw "";
}

function debugCelsius​

App[DebugModel[Model]] debugCelsius() 
  = debug("celsius"
    , Model() { return <37.0>; }
    , void(DebugModel[Model] m) { ; }
    , Model(Msg x, Model m) { return m; }
    , |project://salix/src/main/rascal|);