imperative-edsl-vhdl-0.2: src/Language/Embedded/VHDL/Interface.hs

{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeFamilies   #-}

module Language.Embedded.VHDL.Interface where

import Language.VHDL                          (Expression, Identifier(..))
import Language.Embedded.VHDL.Monad           (VHDL)
import Language.Embedded.VHDL.Expression.Type (Type)

import Data.Constraint
import Data.Typeable   (Typeable)

--------------------------------------------------------------------------------
-- *
--------------------------------------------------------------------------------

type family PredicateExp (exp :: * -> *) :: * -> Constraint

-- | General interface for evaluating expressions
class EvaluateExp exp
  where
    -- | Literal expressions
    litE  :: PredicateExp exp a => a -> exp a

    -- | Evaluation of (closed) expressions
    evalE :: exp a -> a


-- | General interface for compiling expressions
class CompileExp exp
  where
    -- | Variable expressions
    varE  :: PredicateExp exp a => Identifier -> exp a

    -- | Compilation of type kind
    compT :: PredicateExp exp a => exp a -> VHDL Type

    -- | Compilation of expressions
    compE :: exp a -> VHDL Expression

--------------------------------------------------------------------------------