SubHask.Algebra.Array

Documentation

newtype BArray e

Constructors

BArray (Vector e)

Instances

Show e => Show (BArray e)

Arbitrary e => Arbitrary (BArray e)

NFData e => NFData (BArray e)

IsMutable (BArray e)

ValidLogic e => Sliceable (BArray e)

ValidLogic e => IxContainer (BArray e)

Foldable (BArray e)

(ValidLogic e, Eq_ e) => Container (BArray e)

Constructible (BArray e)

Normed (BArray e)

Monoid (BArray e)

Semigroup (BArray e)

(ClassicalLogic e, POrd_ e) => MinBound_ (BArray e)

(ClassicalLogic e, POrd_ e) => POrd_ (BArray e)

(ValidLogic e, Eq_ e) => Eq_ (BArray e)

ValidLogic e => Partitionable (BArray e)

data Mutable m (BArray e0) = Mutable_AppT__ConT_SubHask_Algebra_Array_BArray___VarT_e_1627972045_ (PrimRef m (BArray e))

type Index (BArray e) = Int

type Elem (BArray e) = e

type Scalar (BArray e) = Int

type Logic (BArray e) = Logic e

type ValidElem (BArray e1) e = ()

type SetElem (BArray e) e' = BArray e'

data UArray e

Constructors

UArray !(Vector e)

Instances

(Unboxable e, Show e) => Show (UArray e)

(Unboxable e, Arbitrary e) => Arbitrary (UArray e)

NFData e => NFData (UArray e)

IsMutable (UArray e)

Unboxable e => Sliceable (UArray e)

Unboxable e => IxContainer (UArray e)

Unboxable e => Foldable (UArray e)

Unboxable e => Container (UArray e)

Constructible (UArray Bool)

Constructible (UArray Char)

Constructible (UArray Double)

Constructible (UArray Float)

Constructible (UArray Int)

(ClassicalLogic r, Eq_ r, Unbox r, Prim r, FreeModule r, IsScalar r, Prim y, Unbox y) => Constructible (UArray (Labeled' (UVector Symbol s r) y))

(ClassicalLogic r, Eq_ r, Unbox r, Prim r, FreeModule r, IsScalar r) => Constructible (UArray (UVector Symbol s r))

Unbox e => Normed (UArray e)

Unboxable e => Monoid (UArray e)

Unboxable e => Semigroup (UArray e)

(Unboxable e, POrd_ e) => MinBound_ (UArray e)

(Unboxable e, POrd_ e) => POrd_ (UArray e)

(Unboxable e, Eq_ e) => Eq_ (UArray e)

Unboxable e => Partitionable (UArray e)

data Mutable m (UArray e0) = Mutable_AppT__ConT_SubHask_Algebra_Array_UArray___VarT_e_1627973270_ (PrimRef m (UArray e))

type Index (UArray e) = Int

type Elem (UArray e) = e

type Scalar (UArray e) = Int

type Logic (UArray e) = Logic e

type ValidElem (UArray e) e = Unboxable e

type SetElem (UArray e) e' = UArray e'

type Unboxable e = (Constructible (UArray e), Eq e, Unbox e)