eric-corumdigital

module Main where

import Data.Generic.Rep (class Generic, Argument, Constructor, Product)
import Effect (Effect)
import Effect.Class.Console as Console
import Effect.Uncurried (EffectFn1, EffectFn2, EffectFn3, runEffectFn1, runEffectFn2, runEffectFn3)
import Prelude (Unit, bind, discard, (>>=))
import Type.Data.Peano.Nat (class IsNat, NProxy, Succ, Z, d0, reflectNat, kind Nat)

-- Any product data type with a Generic instance can be made mutable!

eric-corumdigital

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

  syntax S ::= "mul(" S "," S ")"

eric-corumdigital

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

  syntax S ::= "mul(" S "," S ")"

eric-corumdigital

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

  syntax Bitfield ::= Bitfield Bit

eric-corumdigital

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

  syntax Bitfield ::= Bitfield Bit

eric-corumdigital

// simple.k

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

eric-corumdigital

module FRIST-SYNTAX

  imports BOOL

  syntax Expr ::= Expr "+" Expr [left, strict]
                | "(" Expr ")" [bracket]
                | Ident
  
  syntax Ident ::= "x" | "y" | "z"

eric-corumdigital

module FRIST-SYNTAX

  syntax Expr ::= Expr "+" Expr [left, strict]
                | "(" Expr ")" [bracket]
                | Ident
  
  syntax Ident ::= "x" | "y" | "z"

endmodule

eric-corumdigital

if (interrupt === null) {
  switch (status) {
    case SUSPEND:   return util.stateSuspended;
    case COMPLETED: return util.stateCompleted;
    default:        return util.stateRunning;
  }
}
else {
  switch (status) {
    case COMPLETED: return util.stateKilled;

eric-corumdigital

class (LeftModule v a, RightModule v a) ⇐ Bimodule v a

newtype Pixels = Pixels (Additive Number)

derive newtype instance bimodulePixels ∷ Bimodule Pixels Number

---

Cannot derive the type class instance