module AST where

import Data.Fix

type AST name = Fix (AST_ name)

data AST_ name self
  = Var name
  | IfMatch (Match name self)
  | App self self
  | Let [Decl name self] self
  | Constant (Constant name self)

data Constant name ast
  = Number Double
  | String String
  | Lambda (Function name ast)
  | Object [Decl name ast]

data Decl name ast
  = Ctor name [name]
  | Val (Function name ast)
  | Capture name

data Function name ast = Function
  { fName :: name
  , fBody :: ast
  }

data Match name ast = Match
  { mCtor   :: name
  , mSubj   :: ast
  , mFields :: [name]
  , yes     :: ast
  , no      :: ast
  }