Language/Symantic/Compiling/Lambda.hs

   1 {-# LANGUAGE DefaultSignatures #-}
   2 {-# LANGUAGE DataKinds #-}
   3 {-# LANGUAGE FlexibleContexts #-}
   4 {-# LANGUAGE FlexibleInstances #-}
   5 {-# LANGUAGE MultiParamTypeClasses #-}
   6 {-# LANGUAGE OverloadedStrings #-}
   7 {-# LANGUAGE Rank2Types #-}
   8 {-# LANGUAGE ScopedTypeVariables #-}
   9 {-# LANGUAGE TypeFamilies #-}
  10 {-# LANGUAGE TypeOperators #-}
  11 {-# LANGUAGE UndecidableInstances #-}
  12 {-# OPTIONS_GHC -fno-warn-orphans #-}
  13 -- | Expression for /lambda abstraction/s
  14 -- in /Higher-Order Abstract Syntax/ (HOAS).
  15 module Language.Symantic.Compiling.Lambda where
  16
  17 import qualified Control.Applicative as Applicative
  18 import qualified Data.Function as Fun
  19 import Data.Monoid
  20 import Data.Proxy (Proxy(..))
  21 import Data.Text (Text)
  22 import qualified Data.Text as Text
  23 import Data.Type.Equality ((:~:)(Refl))
  24 import Prelude hiding (const, id)
  25
  26 import Language.Symantic.Typing
  27 import Language.Symantic.Compiling.Term
  28 import Language.Symantic.Transforming.Trans
  29