{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
module Interpreter.Rep where

import GHC.TypeError

import Array
import AST


type family Rep t where
  Rep TNil = ()
  Rep (TPair a b) = (Rep a, Rep b)
  Rep (TEither a b) = Either (Rep a) (Rep b)
  Rep (TArr n t) = Array n (Rep t)
  Rep (TScal sty) = ScalRep sty
  Rep (TAccum t) = TypeError (Text "Accumulator in Rep")