Data.Sized.Sampled

Documentation

data Sampled m n

Constructors

Sampled (Signed n) Rational

Instances

(Size ix, Size m) => Enum (Sampled m ix)

Methods

succ :: Sampled m ix -> Sampled m ix

pred :: Sampled m ix -> Sampled m ix

toEnum :: Int -> Sampled m ix

fromEnum :: Sampled m ix -> Int

enumFrom :: Sampled m ix -> [Sampled m ix]

enumFromThen :: Sampled m ix -> Sampled m ix -> [Sampled m ix]

enumFromTo :: Sampled m ix -> Sampled m ix -> [Sampled m ix]

enumFromThenTo :: Sampled m ix -> Sampled m ix -> Sampled m ix -> [Sampled m ix]

Size ix => Eq (Sampled m ix)

Methods

(==) :: Sampled m ix -> Sampled m ix -> Bool

(/=) :: Sampled m ix -> Sampled m ix -> Bool

(Size ix, Size m) => Fractional (Sampled m ix)

Methods

(/) :: Sampled m ix -> Sampled m ix -> Sampled m ix

recip :: Sampled m ix -> Sampled m ix

fromRational :: Rational -> Sampled m ix

(Size ix, Size m) => Num (Sampled m ix)

Methods

(+) :: Sampled m ix -> Sampled m ix -> Sampled m ix

(-) :: Sampled m ix -> Sampled m ix -> Sampled m ix

(*) :: Sampled m ix -> Sampled m ix -> Sampled m ix

negate :: Sampled m ix -> Sampled m ix

abs :: Sampled m ix -> Sampled m ix

signum :: Sampled m ix -> Sampled m ix

fromInteger :: Integer -> Sampled m ix

Size ix => Ord (Sampled m ix)

Methods

compare :: Sampled m ix -> Sampled m ix -> Ordering

(<) :: Sampled m ix -> Sampled m ix -> Bool

(<=) :: Sampled m ix -> Sampled m ix -> Bool

(>) :: Sampled m ix -> Sampled m ix -> Bool

(>=) :: Sampled m ix -> Sampled m ix -> Bool

max :: Sampled m ix -> Sampled m ix -> Sampled m ix

min :: Sampled m ix -> Sampled m ix -> Sampled m ix

(Size ix, Size m) => Read (Sampled m ix)

Methods

readsPrec :: Int -> ReadS (Sampled m ix)

readList :: ReadS [Sampled m ix]

readPrec :: ReadPrec (Sampled m ix)

readListPrec :: ReadPrec [Sampled m ix]

(Size ix, Size m) => Real (Sampled m ix)

Methods

toRational :: Sampled m ix -> Rational

Size ix => Show (Sampled m ix)

Methods

showsPrec :: Int -> Sampled m ix -> ShowS

show :: Sampled m ix -> String

showList :: [Sampled m ix] -> ShowS

toMatrix :: Size n => Sampled m n -> Matrix n Bool

fromMatrix :: forall n m. (Size n, Size m) => Matrix n Bool -> Sampled m n

mkSampled :: forall n m. (Size n, Size m) => Rational -> Sampled m n