module UVMHS.Lib.Pretty.Levels where

import UVMHS.Core

-------------------
-- STATIC LEVELS --
-------------------

pDEF ∷ ℕ64
pLET,pSEP,pASC,pARR,pOR,pAND,pCMP,pCONS ∷ ℕ64
pBWAND,pBWOR,pBSHFT ∷ ℕ64
pPLUS,pTIMES,pNEG,pPOW,pFAC,pAPP,pREF,pIDX ∷ ℕ64
pTOP ∷ ℕ64

pDEF :: ℕ64
pDEF    = ℕ64
001  --  x = e

pLET :: ℕ64
pLET    = ℕ64
005  --  let fun
pSEP :: ℕ64
pSEP    = ℕ64
006  --  , ;
pASC :: ℕ64
pASC    = ℕ64
007  --  e : τ
pARR :: ℕ64
pARR    = ℕ64
010  --  →
pOR :: ℕ64
pOR     = ℕ64
020  --  ∨
pAND :: ℕ64
pAND    = ℕ64
030  --  ∧
pCMP :: ℕ64
pCMP    = ℕ64
040  --  ==
pCONS :: ℕ64
pCONS   = ℕ64
041  --  ∷

pBWOR :: ℕ64
pBWOR   = ℕ64
045  -- ⊻ ⩔
pBWAND :: ℕ64
pBWAND  = ℕ64
046  -- ⩓
pBSHFT :: ℕ64
pBSHFT  = ℕ64
047  -- ⋙ ⋘

pPLUS :: ℕ64
pPLUS   = ℕ64
050  --  + - ⩔ ⊻
pTIMES :: ℕ64
pTIMES  = ℕ64
060  --  * / ⩓
pNEG :: ℕ64
pNEG    = ℕ64
065  --  - (negation)
pPOW :: ℕ64
pPOW    = ℕ64
070  --  ^ ⋙ ⋘
pFAC :: ℕ64
pFAC    = ℕ64
090  --  !

pAPP :: ℕ64
pAPP    = ℕ64
200  --  ␣

pREF :: ℕ64
pREF    = ℕ64
250  --  *x &x
pIDX :: ℕ64
pIDX    = ℕ64
300  --  x.y x@y


pTOP :: ℕ64
pTOP    = ℕ64
999