examples/KappaDemo.hs

   1 {-# OPTIONS_GHC -XModalTypes -dcore-lint -XScopedTypeVariables -ddump-types #-}
   2 module Demo (demo, demo2) where
   3
   4 demo  z   = <{ \y -> ~~z }>
   5
   6 demo2 :: <[ (a,b) ~~> c ]>@d -> <[ () ~~> a ]>@d -> <[ b ~~>c ]>@d
   7 demo2 x y = <{ ~~x ~~y }>
   8
   9 demo3 x y z q = <{ ~~q (~~x ~~y ~~z) }>
  10
  11
  12