Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. class Arity Elems v => HVector v

   fixed-vector-hetero	Data.Vector.HFixed

   Type class for product type. Any product type could have instance of this type. Its methods describe how to construct and deconstruct data type. For example instance for simple data type with two fields could be written as:

   data A a = A Int a
   
   instance HVector (A a) where
   type Elems (A a) = '[Int,a]
   construct = TFun $ \i a -> A i a
   inspect (A i a) (TFun f) = f i a
   

   Another equivalent description of this type class is descibes isomorphism between data type and ContVec, where constuct implements ContVec → a (see vector) and inspect implements a → ContVec (see cvec) Istances should satisfy one law:

   inspect v construct = v
   

   Default implementation which uses Generic is provided.

2. class Arity ElemsF v => HVectorF (v :: α -> Type -> Type)

   fixed-vector-hetero	Data.Vector.HFixed

   Type class for partially homogeneous vector where every element in the vector have same type constructor. Vector itself is parametrized by that constructor

3. class Arity Elems v => HVector v

   fixed-vector-hetero	Data.Vector.HFixed.Class

   Type class for product type. Any product type could have instance of this type. Its methods describe how to construct and deconstruct data type. For example instance for simple data type with two fields could be written as:

   data A a = A Int a
   
   instance HVector (A a) where
   type Elems (A a) = '[Int,a]
   construct = TFun $ \i a -> A i a
   inspect (A i a) (TFun f) = f i a
   

   Another equivalent description of this type class is descibes isomorphism between data type and ContVec, where constuct implements ContVec → a (see vector) and inspect implements a → ContVec (see cvec) Istances should satisfy one law:

   inspect v construct = v
   

   Default implementation which uses Generic is provided.

4. class Arity ElemsF v => HVectorF (v :: α -> Type -> Type)

   fixed-vector-hetero	Data.Vector.HFixed.Class

   Type class for partially homogeneous vector where every element in the vector have same type constructor. Vector itself is parametrized by that constructor

5. class Arity Elems v => HVector v

   fixed-vector-hetero	Data.Vector.HFixed.Cont

   Type class for product type. Any product type could have instance of this type. Its methods describe how to construct and deconstruct data type. For example instance for simple data type with two fields could be written as:

   data A a = A Int a
   
   instance HVector (A a) where
   type Elems (A a) = '[Int,a]
   construct = TFun $ \i a -> A i a
   inspect (A i a) (TFun f) = f i a
   

   Another equivalent description of this type class is descibes isomorphism between data type and ContVec, where constuct implements ContVec → a (see vector) and inspect implements a → ContVec (see cvec) Istances should satisfy one law:

   inspect v construct = v
   

   Default implementation which uses Generic is provided.

6. class Arity ElemsF v => HVectorF (v :: α -> Type -> Type)

   fixed-vector-hetero	Data.Vector.HFixed.Cont

   Type class for partially homogeneous vector where every element in the vector have same type constructor. Vector itself is parametrized by that constructor

7. data FT_UnitVector

   freetype2	FreeType.Core.Types

   No documentation available.

8. FT_UnitVector :: FT_F2Dot14 -> FT_F2Dot14 -> FT_UnitVector

   freetype2	FreeType.Core.Types

   No documentation available.

9. data FT_Vector

   freetype2	FreeType.Core.Types

   No documentation available.

10. FT_Vector :: FT_Pos -> FT_Pos -> FT_Vector

    freetype2	FreeType.Core.Types

    No documentation available.

Page 102 of many | Previous | Next