blob: d1b8a62499f6cfb4ab09ccd0a9e065ae440fd97e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE RoleAnnotations #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module CHAD.AST where
import Data.Functor.Const (Const)
import Data.Kind (Type)
import CHAD.AST.Types.Ty
type role Expr representational nominal nominal
type Expr :: (Ty -> Type) -> [Ty] -> Ty -> Type
data Expr x env t
type Ex = Expr (Const ())
|
