Safe Haskell	None
Language	Haskell2010

Ivory.Language.Sint

Synopsis

newtype Sint8 = Sint8 {
- getSint8 :: Expr
}
newtype Sint16 = Sint16 {
- getSint16 :: Expr
}
newtype Sint32 = Sint32 {
- getSint32 :: Expr
}
newtype Sint64 = Sint64 {
- getSint64 :: Expr
}

Documentation

newtype Sint8 Source #

8-bit integers.

Constructors

Sint8
Fields getSint8 :: Expr

Instances

Bounded Sint8 Source #
Instance details Defined in Ivory.Language.Sint Methods minBound :: Sint8 # maxBound :: Sint8 #
Num Sint8 Source #
Instance details Defined in Ivory.Language.Sint Methods (+) :: Sint8 -> Sint8 -> Sint8 # (-) :: Sint8 -> Sint8 -> Sint8 # (*) :: Sint8 -> Sint8 -> Sint8 # negate :: Sint8 -> Sint8 # abs :: Sint8 -> Sint8 # signum :: Sint8 -> Sint8 # fromInteger :: Integer -> Sint8 #
Show Sint8 Source #
Instance details Defined in Ivory.Language.Sint Methods showsPrec :: Int -> Sint8 -> ShowS # show :: Sint8 -> String # showList :: [Sint8] -> ShowS #
IvoryExpr Sint8 Source #
Instance details Defined in Ivory.Language.Sint Methods wrapExpr :: Expr -> Sint8 Source #
IvoryVar Sint8 Source #
Instance details Defined in Ivory.Language.Sint Methods wrapVar :: Var -> Sint8 Source # unwrapExpr :: Sint8 -> Expr Source #
IvoryType Sint8 Source #
Instance details Defined in Ivory.Language.Sint Methods ivoryType :: Proxy Sint8 -> Type Source #
IvoryOrd Sint8 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Sint8 -> Sint8 -> IBool Source # (>=?) :: Sint8 -> Sint8 -> IBool Source # (<?) :: Sint8 -> Sint8 -> IBool Source # (<=?) :: Sint8 -> Sint8 -> IBool Source #
IvoryEq Sint8 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Sint8 -> Sint8 -> IBool Source # (/=?) :: Sint8 -> Sint8 -> IBool Source #
IvoryStore Sint8 Source #
Instance details Defined in Ivory.Language.Ref
IvoryIntegral Sint8 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Sint8 -> Sint8 -> Sint8 Source # (.%) :: Sint8 -> Sint8 -> Sint8 Source #
Default Sint8 Source #
Instance details Defined in Ivory.Language.Cast Methods defaultVal :: Sint8
IvoryZeroVal Sint8 Source #
Instance details Defined in Ivory.Language.Init Methods izeroval :: Init (Stored Sint8) Source #
IvoryInit Sint8 Source #
Instance details Defined in Ivory.Language.Init Methods ival :: Sint8 -> Init (Stored Sint8) Source #
SignCast Sint8 Uint8 Source #
Instance details Defined in Ivory.Language.Cast Methods signCast :: Sint8 -> Uint8 Source #
SignCast Uint8 Sint8 Source #
Instance details Defined in Ivory.Language.Cast Methods signCast :: Uint8 -> Sint8 Source #
SafeCast Sint8 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> Sint64 Source #
SafeCast Sint8 Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> Sint32 Source #
SafeCast Sint8 Sint16 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> Sint16 Source #
SafeCast Sint8 Sint8 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> Sint8 Source #
SafeCast Sint8 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> IDouble Source #
SafeCast Sint8 IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> IFloat Source #
SafeCast IBool Sint8 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Sint8 Source #
TwosComplementCast Uint8 Sint8 Source #
Instance details Defined in Ivory.Language.Bits Methods twosComplementCast :: Uint8 -> Sint8 Source # twosComplementRep :: Sint8 -> Uint8 Source #

newtype Sint16 Source #

16-bit integers.

Constructors

Sint16
Fields getSint16 :: Expr

Instances

Bounded Sint16 Source #
Instance details Defined in Ivory.Language.Sint Methods minBound :: Sint16 # maxBound :: Sint16 #
Num Sint16 Source #
Instance details Defined in Ivory.Language.Sint Methods (+) :: Sint16 -> Sint16 -> Sint16 # (-) :: Sint16 -> Sint16 -> Sint16 # (*) :: Sint16 -> Sint16 -> Sint16 # negate :: Sint16 -> Sint16 # abs :: Sint16 -> Sint16 # signum :: Sint16 -> Sint16 # fromInteger :: Integer -> Sint16 #
Show Sint16 Source #
Instance details Defined in Ivory.Language.Sint Methods showsPrec :: Int -> Sint16 -> ShowS # show :: Sint16 -> String # showList :: [Sint16] -> ShowS #
IvoryExpr Sint16 Source #
Instance details Defined in Ivory.Language.Sint Methods wrapExpr :: Expr -> Sint16 Source #
IvoryVar Sint16 Source #
Instance details Defined in Ivory.Language.Sint Methods wrapVar :: Var -> Sint16 Source # unwrapExpr :: Sint16 -> Expr Source #
IvoryType Sint16 Source #
Instance details Defined in Ivory.Language.Sint Methods ivoryType :: Proxy Sint16 -> Type Source #
IvoryOrd Sint16 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Sint16 -> Sint16 -> IBool Source # (>=?) :: Sint16 -> Sint16 -> IBool Source # (<?) :: Sint16 -> Sint16 -> IBool Source # (<=?) :: Sint16 -> Sint16 -> IBool Source #
IvoryEq Sint16 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Sint16 -> Sint16 -> IBool Source # (/=?) :: Sint16 -> Sint16 -> IBool Source #
IvoryStore Sint16 Source #
Instance details Defined in Ivory.Language.Ref
IvoryIntegral Sint16 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Sint16 -> Sint16 -> Sint16 Source # (.%) :: Sint16 -> Sint16 -> Sint16 Source #
Default Sint16 Source #
Instance details Defined in Ivory.Language.Cast Methods defaultVal :: Sint16
IvoryZeroVal Sint16 Source #
Instance details Defined in Ivory.Language.Init Methods izeroval :: Init (Stored Sint16) Source #
IvoryInit Sint16 Source #
Instance details Defined in Ivory.Language.Init Methods ival :: Sint16 -> Init (Stored Sint16) Source #
SignCast Sint16 Uint16 Source #
Instance details Defined in Ivory.Language.Cast Methods signCast :: Sint16 -> Uint16 Source #
SignCast Uint16 Sint16 Source #
Instance details Defined in Ivory.Language.Cast Methods signCast :: Uint16 -> Sint16 Source #
SafeCast Sint16 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint16 -> Sint64 Source #
SafeCast Sint16 Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint16 -> Sint32 Source #
SafeCast Sint16 Sint16 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint16 -> Sint16 Source #
SafeCast Sint16 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint16 -> IDouble Source #
SafeCast Sint16 IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint16 -> IFloat Source #
SafeCast Sint8 Sint16 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> Sint16 Source #
SafeCast Uint8 Sint16 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint8 -> Sint16 Source #
SafeCast IBool Sint16 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Sint16 Source #
TwosComplementCast Uint16 Sint16 Source #
Instance details Defined in Ivory.Language.Bits Methods twosComplementCast :: Uint16 -> Sint16 Source # twosComplementRep :: Sint16 -> Uint16 Source #

newtype Sint32 Source #

32-bit integers.

Constructors

Sint32
Fields getSint32 :: Expr

Instances

Bounded Sint32 Source #
Instance details Defined in Ivory.Language.Sint Methods minBound :: Sint32 # maxBound :: Sint32 #
Num Sint32 Source #
Instance details Defined in Ivory.Language.Sint Methods (+) :: Sint32 -> Sint32 -> Sint32 # (-) :: Sint32 -> Sint32 -> Sint32 # (*) :: Sint32 -> Sint32 -> Sint32 # negate :: Sint32 -> Sint32 # abs :: Sint32 -> Sint32 # signum :: Sint32 -> Sint32 # fromInteger :: Integer -> Sint32 #
Show Sint32 Source #
Instance details Defined in Ivory.Language.Sint Methods showsPrec :: Int -> Sint32 -> ShowS # show :: Sint32 -> String # showList :: [Sint32] -> ShowS #
IvoryExpr Sint32 Source #
Instance details Defined in Ivory.Language.Sint Methods wrapExpr :: Expr -> Sint32 Source #
IvoryVar Sint32 Source #
Instance details Defined in Ivory.Language.Sint Methods wrapVar :: Var -> Sint32 Source # unwrapExpr :: Sint32 -> Expr Source #
IvoryType Sint32 Source #
Instance details Defined in Ivory.Language.Sint Methods ivoryType :: Proxy Sint32 -> Type Source #
IvoryOrd Sint32 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Sint32 -> Sint32 -> IBool Source # (>=?) :: Sint32 -> Sint32 -> IBool Source # (<?) :: Sint32 -> Sint32 -> IBool Source # (<=?) :: Sint32 -> Sint32 -> IBool Source #
IvoryEq Sint32 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Sint32 -> Sint32 -> IBool Source # (/=?) :: Sint32 -> Sint32 -> IBool Source #
IvoryStore Sint32 Source #
Instance details Defined in Ivory.Language.Ref
IvoryIntegral Sint32 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Sint32 -> Sint32 -> Sint32 Source # (.%) :: Sint32 -> Sint32 -> Sint32 Source #
Default Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods defaultVal :: Sint32
IvoryZeroVal Sint32 Source #
Instance details Defined in Ivory.Language.Init Methods izeroval :: Init (Stored Sint32) Source #
IvoryInit Sint32 Source #
Instance details Defined in Ivory.Language.Init Methods ival :: Sint32 -> Init (Stored Sint32) Source #
SignCast Sint32 Uint32 Source #
Instance details Defined in Ivory.Language.Cast Methods signCast :: Sint32 -> Uint32 Source #
SignCast Uint32 Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods signCast :: Uint32 -> Sint32 Source #
SafeCast Sint32 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint32 -> Sint64 Source #
SafeCast Sint32 Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint32 -> Sint32 Source #
SafeCast Sint32 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint32 -> IDouble Source #
SafeCast Sint32 IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint32 -> IFloat Source #
SafeCast Sint16 Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint16 -> Sint32 Source #
SafeCast Sint8 Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> Sint32 Source #
SafeCast Uint16 Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint16 -> Sint32 Source #
SafeCast Uint8 Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint8 -> Sint32 Source #
SafeCast IBool Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Sint32 Source #
TwosComplementCast Uint32 Sint32 Source #
Instance details Defined in Ivory.Language.Bits Methods twosComplementCast :: Uint32 -> Sint32 Source # twosComplementRep :: Sint32 -> Uint32 Source #

newtype Sint64 Source #

64-bit integers.

Constructors

Sint64
Fields getSint64 :: Expr

Instances

Bounded Sint64 Source #
Instance details Defined in Ivory.Language.Sint Methods minBound :: Sint64 # maxBound :: Sint64 #
Num Sint64 Source #
Instance details Defined in Ivory.Language.Sint Methods (+) :: Sint64 -> Sint64 -> Sint64 # (-) :: Sint64 -> Sint64 -> Sint64 # (*) :: Sint64 -> Sint64 -> Sint64 # negate :: Sint64 -> Sint64 # abs :: Sint64 -> Sint64 # signum :: Sint64 -> Sint64 # fromInteger :: Integer -> Sint64 #
Show Sint64 Source #
Instance details Defined in Ivory.Language.Sint Methods showsPrec :: Int -> Sint64 -> ShowS # show :: Sint64 -> String # showList :: [Sint64] -> ShowS #
IvoryExpr Sint64 Source #
Instance details Defined in Ivory.Language.Sint Methods wrapExpr :: Expr -> Sint64 Source #
IvoryVar Sint64 Source #
Instance details Defined in Ivory.Language.Sint Methods wrapVar :: Var -> Sint64 Source # unwrapExpr :: Sint64 -> Expr Source #
IvoryType Sint64 Source #
Instance details Defined in Ivory.Language.Sint Methods ivoryType :: Proxy Sint64 -> Type Source #
IvoryOrd Sint64 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Sint64 -> Sint64 -> IBool Source # (>=?) :: Sint64 -> Sint64 -> IBool Source # (<?) :: Sint64 -> Sint64 -> IBool Source # (<=?) :: Sint64 -> Sint64 -> IBool Source #
IvoryEq Sint64 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Sint64 -> Sint64 -> IBool Source # (/=?) :: Sint64 -> Sint64 -> IBool Source #
IvoryStore Sint64 Source #
Instance details Defined in Ivory.Language.Ref
IvoryIntegral Sint64 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Sint64 -> Sint64 -> Sint64 Source # (.%) :: Sint64 -> Sint64 -> Sint64 Source #
Default Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods defaultVal :: Sint64
IvoryZeroVal Sint64 Source #
Instance details Defined in Ivory.Language.Init Methods izeroval :: Init (Stored Sint64) Source #
IvoryInit Sint64 Source #
Instance details Defined in Ivory.Language.Init Methods ival :: Sint64 -> Init (Stored Sint64) Source #
SignCast Sint64 Uint64 Source #
Instance details Defined in Ivory.Language.Cast Methods signCast :: Sint64 -> Uint64 Source #
SignCast Uint64 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods signCast :: Uint64 -> Sint64 Source #
SafeCast Sint64 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint64 -> Sint64 Source #
SafeCast Sint64 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint64 -> IDouble Source #
SafeCast Sint32 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint32 -> Sint64 Source #
SafeCast Sint16 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint16 -> Sint64 Source #
SafeCast Sint8 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> Sint64 Source #
SafeCast Uint32 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint32 -> Sint64 Source #
SafeCast Uint16 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint16 -> Sint64 Source #
SafeCast Uint8 Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint8 -> Sint64 Source #
SafeCast IBool Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Sint64 Source #
TwosComplementCast Uint64 Sint64 Source #
Instance details Defined in Ivory.Language.Bits Methods twosComplementCast :: Uint64 -> Sint64 Source # twosComplementRep :: Sint64 -> Uint64 Source #