Data.Sized.Sampled

Documentation

data Sampled m n

Constructors

Sampled (Signed n) Rational

Instances

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

Size ix => Eq (Sampled m ix)

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

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

Size ix => Ord (Sampled m ix)

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

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

Size ix => Show (Sampled m ix)

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