DDF.Int

Documentation

class Ordering r => Int r where

Minimal complete definition

int, pred, intCmp

Methods

int :: Int -> r h Int

pred :: r h (Int -> Int)

intCmp :: r h (Int -> Int -> Ordering)

Instances

Int Eval

Methods

int :: Int -> Eval h Int

pred :: Eval h (Int -> Int)

intCmp :: Eval h (Int -> Int -> Ordering)

Int Show

Methods

int :: Int -> Show h Int

pred :: Show h (Int -> Int)

intCmp :: Show h (Int -> Int -> Ordering)

Int Size

Methods

int :: Int -> Size h Int

pred :: Size h (Int -> Int)

intCmp :: Size h (Int -> Int -> Ordering)

Int repr => Int (P repr)

Methods

int :: Int -> P repr h Int

pred :: P repr h (Int -> Int)

intCmp :: P repr h (Int -> Int -> Ordering)

SubL c Int => Int (Term c)

Methods

int :: Int -> Term c h Int

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

intCmp :: Term c h (Int -> Int -> Ordering)

Int r => Int (UnHOAS r)

Methods

int :: Int -> UnHOAS r h Int

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

intCmp :: UnHOAS r h (Int -> Int -> Ordering)

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

Methods

int :: Int -> UnLiftEnv r h Int

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

intCmp :: UnLiftEnv r h (Int -> Int -> Ordering)

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

Methods

int :: Int -> ImpW r h Int

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

intCmp :: ImpW r h (Int -> Int -> Ordering)

type SubLC c Int

type SubLC c Int = SubL c Ordering

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

module DDF.Ordering

Orphan instances

Int r => ObjOrd r Int

Methods

cmp :: r h (Int -> Int -> Ordering)

eq :: r h (Int -> Int -> Bool)