Data.Sized.Sampled

Documentation

data Sampled m n

Constructors

Sampled (Signed n) Rational

Instances

(SingI Nat ix, SingI Nat m) => Enum (Sampled m ix)

SingI Nat ix => Eq (Sampled m ix)

(SingI Nat ix, SingI Nat m) => Fractional (Sampled m ix)

(SingI Nat ix, SingI Nat m) => Num (Sampled m ix)

SingI Nat ix => Ord (Sampled m ix)

(SingI Nat ix, SingI Nat m) => Read (Sampled m ix)

(SingI Nat ix, SingI Nat m) => Real (Sampled m ix)

SingI Nat ix => Show (Sampled m ix)

toVector :: (SingI m, SingI n) => Sampled m n -> Vector n Bool

fromVector :: forall n m. (SingI n, SingI m) => Vector n Bool -> Sampled m n

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