systemqfw

system Q F omega elaborator
git clone git://git.rr3.xyz/systemqfw
Log | Files | Refs | Submodules | README | LICENSE

Common.hs (243B)

      1 module Common where
      2 
      3 class IsInt a where
      4     toInt :: a -> Int
      5     fromInt :: Int -> a
      6 
      7 instance IsInt Int where
      8     toInt = id
      9     fromInt = id
     10 
     11 data Kind
     12     = KindT
     13     | KindQ
     14     | KindQT
     15     | KindArrow Kind Kind
     16     deriving (Eq, Show)