sized-types-0.5.0: Sized types in Haskell using the GHC Nat kind.

Safe HaskellNone
LanguageHaskell98

Data.Sized.Signed

Description

Signed, fixed sized numbers.

Copyright: (c) 2009 University of Kansas License: BSD3

Maintainer: Andy Gill andygill@ku.edu Stability: unstable Portability: ghc

Documentation

data Signed ix Source

Instances

SingI Nat ix => Bounded (Signed ix) 
SingI Nat ix => Enum (Signed ix) 
Eq (Signed ix) 
SingI Nat ix => Integral (Signed ix) 
SingI Nat ix => Num (Signed ix) 
Ord (Signed ix) 
SingI Nat ix => Read (Signed ix) 
SingI Nat ix => Real (Signed ix) 
SingI Nat ix => Show (Signed ix) 
SingI Nat ix => Bits (Signed ix) 
SingI Nat ix => FiniteBits (Signed ix) 
Typeable (Nat -> *) Signed 

toVector :: forall ix. SingI ix => Signed ix -> Vector ix Bool Source

fromVector :: SingI ix => Vector ix Bool -> Signed ix Source

type S2 = Signed 2 Source

type S3 = Signed 3 Source

type S4 = Signed 4 Source

type S5 = Signed 5 Source

type S6 = Signed 6 Source

type S7 = Signed 7 Source

type S8 = Signed 8 Source

type S9 = Signed 9 Source

type S10 = Signed 10 Source

type S11 = Signed 11 Source

type S12 = Signed 12 Source

type S13 = Signed 13 Source

type S14 = Signed 14 Source

type S15 = Signed 15 Source

type S16 = Signed 16 Source

type S17 = Signed 17 Source

type S18 = Signed 18 Source

type S19 = Signed 19 Source

type S20 = Signed 20 Source

type S21 = Signed 21 Source

type S22 = Signed 22 Source

type S23 = Signed 23 Source

type S24 = Signed 24 Source

type S25 = Signed 25 Source

type S26 = Signed 26 Source

type S27 = Signed 27 Source

type S28 = Signed 28 Source

type S29 = Signed 29 Source

type S30 = Signed 30 Source

type S31 = Signed 31 Source

type S32 = Signed 32 Source