DeepDarkFantasy-0.2017.8.18: DDF/Bool.hs

{-# LANGUAGE NoImplicitPrelude, NoMonomorphismRestriction #-}
module DDF.Bool (module DDF.Bool, module DDF.DBI) where

import DDF.DBI
import qualified Prelude as M

class DBI r => Bool r where
  bool :: M.Bool -> r h M.Bool
  true :: r h M.Bool
  true = bool M.True
  false :: r h M.Bool
  false = bool M.False
  ite :: r h (a -> a -> M.Bool -> a)

ite1 = app ite
ite2 = app2 ite
ite3 = app3 ite