Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Data flow wire values.
- data V_Id = V_Id Id
- data Vec a = Vec V_Id Int [a]
- vec_id :: Vec t -> Id
- vec_concise :: Vec a -> String
- data K
- k_typeOf :: K -> TypeRep
- k_concise :: K -> String
- nil_t :: TypeRep
- bool_t :: TypeRep
- int32_t :: TypeRep
- float_t :: TypeRep
- vec_float_t :: TypeRep
- class (Typeable a, Eq a, Ord a, Show a) => K' a where
- class (K' a, Ord a) => K_Ord a
- class (K_Ord a, Num a) => K_Num a