examples/Demo.hs

   1 {-# OPTIONS_GHC -XModalTypes -fflatten -funsafe-skolemize -dcore-lint #-}
   2 module Demo (demo) where
   3
   4
   5 --demo con mer = <[ ~~mer ~~(con (2::Int)) ~~(con (12::Int)) ]>
   6
   7 demo const mult =
   8    <[ let twelve = ~~(const (12::Int))
   9           four   = ~~(const ( 4::Int))
  10       in  ~~mult four (~~mult four twelve)
  11     ]>
  12
  13 {-
  14 demo const mult =
  15  <[ let     twelve = ~~(const (12::Int))
  16     in let  four    = ~~(const (4::Int))
  17          in  ~~mult four twelve  ]>
  18 -}
  19 {-
  20 demo const mult =
  21  <[ let     twelve = ~~(const (12::Int))
  22     in let  twelvea = twelve
  23             four    = ~~(const (4::Int))
  24             twelveb = twelve
  25          in  ~~mult (~~mult twelvea four) (~~mult twelveb twelveb) ]>
  26 -}
  27
  28 {-
  29 demo const mult = demo' 3
  30  where
  31   demo' 0 = const 12
  32   demo' 1 = const 12
  33   demo' n = <[ ~~mult ~~(demo' (n-1)) ~~(demo' (n-2)) ]>
  34 -}