subhask-0.1.0.0: Type safe interface for programming in subcategories of Hask

Safe Haskell	None
Language	Haskell2010

SubHask.Algebra.Array

Documentation

newtype BArray e Source

Constructors

BArray (Vector e)

Instances

Show e => Show (BArray e) Source
Arbitrary e => Arbitrary (BArray e) Source
NFData e => NFData (BArray e) Source
IsMutable (BArray e) Source
ValidLogic e => Sliceable (BArray e) Source
ValidLogic e => IxContainer (BArray e) Source
Foldable (BArray e) Source
(ValidLogic e, Eq_ e) => Container (BArray e) Source
Constructible (BArray e) Source
Normed (BArray e) Source
Monoid (BArray e) Source
Semigroup (BArray e) Source
(ClassicalLogic e, POrd_ e) => MinBound_ (BArray e) Source
(ClassicalLogic e, POrd_ e) => POrd_ (BArray e) Source
(ValidLogic e, Eq_ e) => Eq_ (BArray e) Source
ValidLogic e => Partitionable (BArray e) Source
data Mutable m (BArray e0) = Mutable_AppT__ConT_SubHask_Algebra_Array_BArray___VarT_e_1627965524_ (PrimRef m (BArray e)) Source
type Index (BArray e) = Int Source
type Elem (BArray e) = e Source
type Scalar (BArray e) = Int Source
type Logic (BArray e) = Logic e Source
type ValidElem (BArray e1) e = ()
type SetElem (BArray e) e' = BArray e' Source

data UArray e Source

Instances

(Unbox e, Show e) => Show (UArray e) Source
(Unboxable e, Arbitrary e) => Arbitrary (UArray e) Source
(Unbox e, NFData e) => NFData (UArray e) Source
IsMutable (UArray e) Source
Unboxable e => Sliceable (UArray e) Source
Unboxable e => IxContainer (UArray e) Source
Unboxable e => Foldable (UArray e) Source
Unboxable e => Container (UArray e) Source
Constructible (UArray Bool) Source
Constructible (UArray Char) Source
Constructible (UArray Int) Source
(ClassicalLogic r, Eq_ r, Unbox r, Prim r, FreeModule r, IsScalar r, Prim y, Unbox y) => Constructible (UArray (Labeled' (UVector Symbol s r) y)) Source
(ClassicalLogic r, Eq_ r, Unbox r, Prim r, FreeModule r, IsScalar r) => Constructible (UArray (UVector Symbol s r)) Source
Unbox e => Normed (UArray e) Source
Monoid (UArray Bool) Source
Monoid (UArray Char) Source
Monoid (UArray Int) Source
(ClassicalLogic r, Eq_ r, Unbox r, Prim r, FreeModule r, IsScalar r, Prim y, Unbox y) => Monoid (UArray (Labeled' (UVector Symbol s r) y)) Source
(ClassicalLogic r, Eq_ r, Unbox r, Prim r, FreeModule r, IsScalar r) => Monoid (UArray (UVector Symbol s r)) Source
Unboxable e => Semigroup (UArray e) Source
(Unboxable e, POrd_ e) => MinBound_ (UArray e) Source
(Unboxable e, POrd_ e) => POrd_ (UArray e) Source
(Unboxable e, Eq_ e) => Eq_ (UArray e) Source
Unboxable e => Partitionable (UArray e) Source
data Mutable m (UArray e0) = Mutable_AppT__ConT_SubHask_Algebra_Array_UArray___VarT_e_1627966749_ (PrimRef m (UArray e)) Source
type Index (UArray e) = Int Source
type Elem (UArray e) = e Source
type Scalar (UArray e) = Int Source
type Logic (UArray e) = Logic e Source
type ValidElem (UArray e1) e = ()
type SetElem (UArray e) e' = UArray e' Source

type Unboxable e = (Monoid (UArray e), Constructible (UArray e), ClassicalLogic e, Eq_ e, Unbox e) Source