DDF.Int

Documentation

class Bool r => Int r where

Minimal complete definition

int, pred, isZero

Methods

int :: Int -> r h Int

pred :: r h (Int -> Int)

isZero :: r h (Int -> Bool)

Instances

Int Eval

Methods

int :: Int -> Eval h Int

pred :: Eval h (Int -> Int)

isZero :: Eval h (Int -> Bool)

Int Show

Methods

int :: Int -> Show h Int

pred :: Show h (Int -> Int)

isZero :: Show h (Int -> Bool)

Int Size

Methods

int :: Int -> Size h Int

pred :: Size h (Int -> Int)

isZero :: Size h (Int -> Bool)

SubL c Int => Int (Term c)

Methods

int :: Int -> Term c h Int

pred :: Term c h (Int -> Int)

isZero :: Term c h (Int -> Bool)

Int r => Int (UnHOAS r)

Methods

int :: Int -> UnHOAS r h Int

pred :: UnHOAS r h (Int -> Int)

isZero :: UnHOAS r h (Int -> Bool)

(Prod r, Int r) => Int (UnLiftEnv r)

Methods

int :: Int -> UnLiftEnv r h Int

pred :: UnLiftEnv r h (Int -> Int)

isZero :: UnLiftEnv r h (Int -> Bool)

(Prod r, Int r) => Int (ImpW r)

Methods

int :: Int -> ImpW r h Int

pred :: ImpW r h (Int -> Int)

isZero :: ImpW r h (Int -> Bool)

type SubLC c Int

type SubLC c Int = SubL c Bool

pred1 :: Int r => r h Int -> r h Int

isZero1 :: Int r => r h Int -> r h Bool

module DDF.Bool