Ord package:mixed-types-num

class (Ring t, HasEqCertainly t t, HasEqCertainly t Int, HasEq t Integer, HasOrderCertainly t t, HasOrderCertainly t Int, HasOrderCertainly t Integer, CanTestPosNeg t) => OrderedCertainlyRing t

mixed-types-num Numeric.MixedTypes.Ring

class (Ring t, HasEq t t, HasEq t Int, HasEq t Integer, HasOrder t t, HasOrder t Int, HasOrder t Integer) => OrderedRing t

mixed-types-num Numeric.MixedTypes.Ring

module Numeric.OrdGenericBool

mixed-types-num

Order ops with generic return type. Originally developed for semi-decidable comparisons that return Kleenean instead of Bool. Use in combination with: import Prelude hiding ((==),(/=),(),(<=),(),(>=),abs,max,min,not,(&&),(||)) import qualified Prelude as P The usual comparison operators are still available using the P prefix.

type HasOrder t1 t2 = (HasOrderAsymmetric t1 t2, HasOrderAsymmetric t2 t1, OrderCompareType t1 t2 ~ OrderCompareType t2 t1)

mixed-types-num Numeric.MixedTypes.Ord

class (IsBool (OrderCompareType a b)) => HasOrderAsymmetric a b

mixed-types-num Numeric.MixedTypes.Ord

type HasOrderCertainly t1 t2 = (HasOrder t1 t2, CanTestCertainly (OrderCompareType t1 t2))

mixed-types-num Numeric.MixedTypes.Ord

type HasOrderCertainlyAsymmetric t1 t2 = (HasOrderAsymmetric t1 t2, CanTestCertainly (OrderCompareType t1 t2))

mixed-types-num Numeric.MixedTypes.Ord

specHasOrder :: _ => T t1 -> T t2 -> T t3 -> Spec

mixed-types-num Numeric.MixedTypes.Ord

HSpec properties that each implementation of HasOrder should satisfy.

specHasOrderNotMixed :: _ => T t -> Spec

mixed-types-num Numeric.MixedTypes.Ord

HSpec properties that each implementation of HasOrder should satisfy.

data () => Word

mixed-types-num Numeric.MixedTypes.PreludeHiding

A Word is an unsigned integral type, with the same size as Int.

unwords :: [String] -> String

mixed-types-num Numeric.MixedTypes.PreludeHiding

unwords joins words with separating spaces (U+0020 SPACE).

>>> unwords ["Lorem", "ipsum", "dolor"]
"Lorem ipsum dolor"

unwords is neither left nor right inverse of words:

>>> words (unwords [" "])
[]

>>> unwords (words "foo\nbar")
"foo bar"

words :: String -> [String]

mixed-types-num Numeric.MixedTypes.PreludeHiding

words breaks a string up into a list of words, which were delimited by white space (as defined by isSpace). This function trims any white spaces at the beginning and at the end.

>>> words "Lorem ipsum\ndolor"
["Lorem","ipsum","dolor"]

>>> words " foo bar "
["foo","bar"]