ghc/tests/programs/jtod_circint/LogFun.hs

   1 module LogFun where
   2
   3 type TT1 = (Int,Int)
   4 type TT2 = (Int,Int,Int,Int)
   5
   6 tt_con10, tt_id, tt_inv, tt_con11 :: TT1
   7
   8 tt_con10 = (0,0)
   9 tt_id    = (0,1)
  10 tt_inv   = (1,0)
  11 tt_con11 = (1,1)
  12
  13 tt_con20, tt_and2, tt_nimp,  tt_id21   :: TT2
  14 tt_nimp', tt_id22, tt_xor,   tt_or2    :: TT2
  15 tt_nor2,  tt_equ2, tt_inv22, tt_imp'   :: TT2
  16 tt_inv21, tt_imp,  tt_nand2, tt_con21  :: TT2
  17
  18 tt_con20 = (0,0,0,0)
  19 tt_and2  = (0,0,0,1)
  20 tt_nimp  = (0,0,1,0)
  21 tt_id21  = (0,0,1,1)
  22 tt_nimp' = (0,1,0,0)
  23 tt_id22  = (0,1,0,1)
  24 tt_xor   = (0,1,1,0)
  25 tt_or2   = (0,1,1,1)
  26 tt_nor2  = (1,0,0,0)
  27 tt_equ2  = (1,0,0,1)
  28 tt_inv22 = (1,0,1,0)
  29 tt_imp'  = (1,0,1,1)
  30 tt_inv21 = (1,1,0,0)
  31 tt_imp   = (1,1,0,1)
  32 tt_nand2 = (1,1,1,0)
  33 tt_con21 = (1,1,1,1)
  34