Safe Haskell	None
Language	GHC2021

Effectful.Time.TimeSpec

Contents

Type
Creation
Elimination
Operations
Algebra

Description

Provides the TimeSpec type and algebra re-exports.

Since: 0.1

Synopsis

data TimeSpec = MkTimeSpec {
- sec :: !Natural
- nsec :: !Natural
}
fromSeconds :: Double -> TimeSpec
fromNanoSeconds :: Natural -> TimeSpec
toSeconds :: TimeSpec -> Double
toNanoSeconds :: TimeSpec -> Natural
diffTimeSpec :: TimeSpec -> TimeSpec -> TimeSpec
normalizeTimeSpec :: TimeSpec -> TimeSpec
class ASemigroup s where
- (.+.) :: s -> s -> s
class ASemigroup m => AMonoid m where
- zero :: m
class MSemigroup r => MSemiSpace m r | m -> r where
- (.*) :: m -> r -> m
class (MGroup k, MSemiSpace v k) => MSpace v k | v -> k where
- (.%) :: v -> k -> v
class (AMonoid m, MSemiSpace m r, Semiring r) => Semimodule m r | m -> r
class (MSpace v k, Semifield k, Semimodule v k) => SemivectorSpace v k | v -> k
class Normed s where
- norm :: s -> s
- sgn :: s -> s
class LowerBounded a where
- lowerBound :: a
class UpperBoundless a

Type

data TimeSpec Source #

Structure for holding time data. Eq and Ord are defined in terms of an equivalence class e.g.

MkTimeSpec s n === MkTimeSpec 0 (s * 1_000_000_000 + n)

Since: 0.1

Constructors

MkTimeSpec
Fields sec :: !Natural Seconds. Since: 0.1 nsec :: !Natural Nanoseconds. Since: 0.1

Instances

Instances details

AMonoid TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

zero :: TimeSpec Source #

ASemigroup TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

(.+.) :: TimeSpec -> TimeSpec -> TimeSpec Source #

Normed TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

norm :: TimeSpec -> TimeSpec Source #

sgn :: TimeSpec -> TimeSpec Source #

LowerBounded TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

lowerBound :: TimeSpec Source #

UpperBoundless TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

NFData TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

rnf :: TimeSpec -> () #

Generic TimeSpec Source #

Instance details

Defined in Effectful.Time.TimeSpec

Associated Types

type Rep TimeSpec

Since: time-effectful-0.1

Instance details

Defined in Effectful.Time.TimeSpec

type Rep TimeSpec = D1 ('MetaData "TimeSpec" "Effectful.Time.TimeSpec" "time-effectful-0.1-inplace" 'False) (C1 ('MetaCons "MkTimeSpec" 'PrefixI 'True) (S1 ('MetaSel ('Just "sec") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just "nsec") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

Methods

from :: TimeSpec -> Rep TimeSpec x #

to :: Rep TimeSpec x -> TimeSpec #

Show TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

showsPrec :: Int -> TimeSpec -> ShowS #

show :: TimeSpec -> String #

showList :: [TimeSpec] -> ShowS #

Eq TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

(==) :: TimeSpec -> TimeSpec -> Bool #

(/=) :: TimeSpec -> TimeSpec -> Bool #

Ord TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

compare :: TimeSpec -> TimeSpec -> Ordering #

(<) :: TimeSpec -> TimeSpec -> Bool #

(<=) :: TimeSpec -> TimeSpec -> Bool #

(>) :: TimeSpec -> TimeSpec -> Bool #

(>=) :: TimeSpec -> TimeSpec -> Bool #

max :: TimeSpec -> TimeSpec -> TimeSpec #

min :: TimeSpec -> TimeSpec -> TimeSpec #

MSemiSpace TimeSpec Natural Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

(.*) :: TimeSpec -> Natural -> TimeSpec Source #

MSpace TimeSpec Natural Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

(.%) :: TimeSpec -> Natural -> TimeSpec Source #

Semimodule TimeSpec Natural Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

SemivectorSpace TimeSpec Natural Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

(k ~ A_Lens, a ~ Natural, b ~ Natural) => LabelOptic "nsec" k TimeSpec TimeSpec a b Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

labelOptic :: Optic k NoIx TimeSpec TimeSpec a b Source #

(k ~ A_Lens, a ~ Natural, b ~ Natural) => LabelOptic "sec" k TimeSpec TimeSpec a b Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

Methods

labelOptic :: Optic k NoIx TimeSpec TimeSpec a b Source #

type Rep TimeSpec Source #

Since: 0.1

Instance details

Defined in Effectful.Time.TimeSpec

type Rep TimeSpec = D1 ('MetaData "TimeSpec" "Effectful.Time.TimeSpec" "time-effectful-0.1-inplace" 'False) (C1 ('MetaCons "MkTimeSpec" 'PrefixI 'True) (S1 ('MetaSel ('Just "sec") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just "nsec") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

Creation

fromSeconds :: Double -> TimeSpec Source #

Converts a Double to a TimeSpec.

Since: 0.1

fromNanoSeconds :: Natural -> TimeSpec Source #

Converts Natural nanoseconds to a TimeSpec.

Since: 0.1

Elimination

toSeconds :: TimeSpec -> Double Source #

Converts a TimeSpec to a Double.

Since: 0.1

toNanoSeconds :: TimeSpec -> Natural Source #

Converts a TimeSpec into Natural nanoseconds.

Since: 0.1

Operations

diffTimeSpec :: TimeSpec -> TimeSpec -> TimeSpec Source #

Returns the absolute difference of two TimeSpecs.

Since: 0.1

normalizeTimeSpec :: TimeSpec -> TimeSpec Source #

Normalizes nanoseconds < 1 second.

Since: 0.1

Algebra

class ASemigroup s where Source #

Defines an additive semigroup.

Since: algebra-simple-0.1

Methods

(.+.) :: s -> s -> s infixl 6 Source #

Since: algebra-simple-0.1

Instances

Instances details

ASemigroup Int16	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Int16 -> Int16 -> Int16 Source #
ASemigroup Int32	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Int32 -> Int32 -> Int32 Source #
ASemigroup Int64	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Int64 -> Int64 -> Int64 Source #
ASemigroup Int8	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Int8 -> Int8 -> Int8 Source #
ASemigroup Word16	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Word16 -> Word16 -> Word16 Source #
ASemigroup Word32	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Word32 -> Word32 -> Word32 Source #
ASemigroup Word64	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Word64 -> Word64 -> Word64 Source #
ASemigroup Word8	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Word8 -> Word8 -> Word8 Source #
ASemigroup TimeSpec Source #	Since: 0.1
Instance details Defined in Effectful.Time.TimeSpec Methods (.+.) :: TimeSpec -> TimeSpec -> TimeSpec Source #
ASemigroup Integer	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Integer -> Integer -> Integer Source #
ASemigroup Natural	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Natural -> Natural -> Natural Source #
ASemigroup Double	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Double -> Double -> Double Source #
ASemigroup Float	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Float -> Float -> Float Source #
ASemigroup Int	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Int -> Int -> Int Source #
ASemigroup Word	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Word -> Word -> Word Source #
RealFloat a => ASemigroup (Complex a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Complex a -> Complex a -> Complex a Source #
ASemigroup (Ratio Integer)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Ratio Integer -> Ratio Integer -> Ratio Integer Source #
ASemigroup (Ratio Natural)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Ratio Natural -> Ratio Natural -> Ratio Natural Source #
HasResolution k => ASemigroup (Fixed k)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: Fixed k -> Fixed k -> Fixed k Source #
ASemigroup a => ASemigroup (a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: (a, a) -> (a, a) -> (a, a) Source #
ASemigroup a => ASemigroup (a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: (a, a, a) -> (a, a, a) -> (a, a, a) Source #
ASemigroup a => ASemigroup (a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a) Source #
ASemigroup a => ASemigroup (a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a) Source #
ASemigroup a => ASemigroup (a, a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: (a, a, a, a, a, a) -> (a, a, a, a, a, a) -> (a, a, a, a, a, a) Source #
ASemigroup a => ASemigroup (a, a, a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: (a, a, a, a, a, a, a) -> (a, a, a, a, a, a, a) -> (a, a, a, a, a, a, a) Source #
ASemigroup a => ASemigroup (a, a, a, a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: (a, a, a, a, a, a, a, a) -> (a, a, a, a, a, a, a, a) -> (a, a, a, a, a, a, a, a) Source #
ASemigroup a => ASemigroup (a, a, a, a, a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.ASemigroup Methods (.+.) :: (a, a, a, a, a, a, a, a, a) -> (a, a, a, a, a, a, a, a, a) -> (a, a, a, a, a, a, a, a, a) Source #

class ASemigroup m => AMonoid m where Source #

Defines a monoid over an additive semigroup.

Since: algebra-simple-0.1

Methods

zero :: m Source #

Should satisfy:

-- identity
x .+. zero = x = zero .+. x

since 0.1

Instances

Instances details

AMonoid Int16	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Int16 Source #
AMonoid Int32	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Int32 Source #
AMonoid Int64	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Int64 Source #
AMonoid Int8	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Int8 Source #
AMonoid Word16	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Word16 Source #
AMonoid Word32	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Word32 Source #
AMonoid Word64	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Word64 Source #
AMonoid Word8	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Word8 Source #
AMonoid TimeSpec Source #	Since: 0.1
Instance details Defined in Effectful.Time.TimeSpec Methods zero :: TimeSpec Source #
AMonoid Integer	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Integer Source #
AMonoid Natural	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Natural Source #
AMonoid Double	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Double Source #
AMonoid Float	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Float Source #
AMonoid Int	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Int Source #
AMonoid Word	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Word Source #
RealFloat a => AMonoid (Complex a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Complex a Source #
AMonoid (Ratio Integer)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Ratio Integer Source #
AMonoid (Ratio Natural)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Ratio Natural Source #
HasResolution k => AMonoid (Fixed k)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: Fixed k Source #
AMonoid a => AMonoid (a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: (a, a) Source #
AMonoid a => AMonoid (a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: (a, a, a) Source #
AMonoid a => AMonoid (a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: (a, a, a, a) Source #
AMonoid a => AMonoid (a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: (a, a, a, a, a) Source #
AMonoid a => AMonoid (a, a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: (a, a, a, a, a, a) Source #
AMonoid a => AMonoid (a, a, a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: (a, a, a, a, a, a, a) Source #
AMonoid a => AMonoid (a, a, a, a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: (a, a, a, a, a, a, a, a) Source #
AMonoid a => AMonoid (a, a, a, a, a, a, a, a, a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Additive.AMonoid Methods zero :: (a, a, a, a, a, a, a, a, a) Source #

class MSemigroup r => MSemiSpace m r | m -> r where Source #

Defines a "multiplicative semi space" over an MSemigroup. This generalizes the notion of a Semimodule \(M\) over a Ring \(R\) in that we assume no additive structure on the space itself.

Since: algebra-simple-0.1

Methods

(.*) :: m -> r -> m infixl 7 Source #

Since: algebra-simple-0.1

Instances

Instances details

MSemiSpace TimeSpec Natural Source #	Since: 0.1
Instance details Defined in Effectful.Time.TimeSpec Methods (.*) :: TimeSpec -> Natural -> TimeSpec Source #
MSemigroup r => MSemiSpace (r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r) -> r -> (r, r) Source #
MSemigroup r => MSemiSpace (r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r) -> r -> (r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r) -> r -> (r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r) -> r -> (r, r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r, r) -> r -> (r, r, r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r, r, r) -> r -> (r, r, r, r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r, r, r, r) -> r -> (r, r, r, r, r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r, r, r, r, r) -> r -> (r, r, r, r, r, r, r, r, r) Source #

class (MGroup k, MSemiSpace v k) => MSpace v k | v -> k where Source #

Defines a "multiplicative space" over an MGroup. This generalizes the notion of a Semivectorspace \(V\) over a Semifield \(K\) in that we assume no additive structure on the space itself.

Since: algebra-simple-0.1

Methods

(.%) :: v -> k -> v infixl 7 Source #

Since: algebra-simple-0.1

Instances

Instances details

MSpace TimeSpec Natural Source #	Since: 0.1
Instance details Defined in Effectful.Time.TimeSpec Methods (.%) :: TimeSpec -> Natural -> TimeSpec Source #
MGroup k => MSpace (k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k) -> k -> (k, k) Source #
MGroup k => MSpace (k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k) -> k -> (k, k, k) Source #
MGroup k => MSpace (k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k) -> k -> (k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k) -> k -> (k, k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k, k) -> k -> (k, k, k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k, k, k) -> k -> (k, k, k, k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k, k, k, k) -> k -> (k, k, k, k, k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k, k, k, k, k) -> k -> (k, k, k, k, k, k, k, k, k) Source #

class (AMonoid m, MSemiSpace m r, Semiring r) => Semimodule m r | m -> r Source #

Defines a semimodule over a semiring. This generalizes the notion of a Module \(M\) over a Ring \(R\) such that:

\(M\) is an AMonoid, not an AGroup.
\(R\) is a Semiring, not a Ring.

Since: algebra-simple-0.1

Instances

Instances details

Semimodule TimeSpec Natural Source #	Since: 0.1
Instance details Defined in Effectful.Time.TimeSpec
Semiring r => Semimodule (r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.Semimodule
Semiring r => Semimodule (r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.Semimodule
Semiring r => Semimodule (r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.Semimodule
Semiring r => Semimodule (r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.Semimodule
Semiring r => Semimodule (r, r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.Semimodule
Semiring r => Semimodule (r, r, r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.Semimodule
Semiring r => Semimodule (r, r, r, r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.Semimodule
Semiring r => Semimodule (r, r, r, r, r, r, r, r, r) r	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.Semimodule

class (MSpace v k, Semifield k, Semimodule v k) => SemivectorSpace v k | v -> k Source #

Defines a semivector space over a semifield. This generalizes the notion of a VectorSpace \(V\) over a Field \(K\) such that:

\(V\) is an AMonoid, not an AGroup.
\(K\) is a Semifield, not a Field.

Since: algebra-simple-0.1

Instances

Instances details

SemivectorSpace TimeSpec Natural Source #	Since: 0.1
Instance details Defined in Effectful.Time.TimeSpec
Semifield k => SemivectorSpace (k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.SemivectorSpace
Semifield k => SemivectorSpace (k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.SemivectorSpace
Semifield k => SemivectorSpace (k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.SemivectorSpace
Semifield k => SemivectorSpace (k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.SemivectorSpace
Semifield k => SemivectorSpace (k, k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.SemivectorSpace
Semifield k => SemivectorSpace (k, k, k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.SemivectorSpace
Semifield k => SemivectorSpace (k, k, k, k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.SemivectorSpace
Semifield k => SemivectorSpace (k, k, k, k, k, k, k, k, k) k	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Space.SemivectorSpace

class Normed s where Source #

Defines a "norm" on a given structure. We have the following laws:

Positive definiteness: norm x > 0 for x /= 0, norm 0 = 0.
Subadditivity: norm (x + y) <= norm x + norm y.
Inversion : norm x = norm (-x).
Sign : sgn x = x / norm x.

Notice these laws require various algebraic assumptions, from a semigroup up to a group structure. It is expected that types that implement the relevant typeclasses will follow the respective laws.

We do not require any of these typeclasses as constraints as it is possible that we may want to abstract over "positive" types with a type that does not have an additive semigroup instance (consider multiplicative groups).

Since: algebra-simple-0.1

Methods

norm :: s -> s Source #

Returns the norm.

Since: algebra-simple-0.1

sgn :: s -> s Source #

Sign function. Notice that when norm is abs, this is the familiar signum function i.e.

sgn x
  | x < 0 = -1
  | x == 0 = 0
  | x > 0 = 1

Since: algebra-simple-0.1

Instances

Instances details

Normed Int16	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Int16 -> Int16 Source # sgn :: Int16 -> Int16 Source #
Normed Int32	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Int32 -> Int32 Source # sgn :: Int32 -> Int32 Source #
Normed Int64	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Int64 -> Int64 Source # sgn :: Int64 -> Int64 Source #
Normed Int8	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Int8 -> Int8 Source # sgn :: Int8 -> Int8 Source #
Normed Word16	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Word16 -> Word16 Source # sgn :: Word16 -> Word16 Source #
Normed Word32	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Word32 -> Word32 Source # sgn :: Word32 -> Word32 Source #
Normed Word64	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Word64 -> Word64 Source # sgn :: Word64 -> Word64 Source #
Normed Word8	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Word8 -> Word8 Source # sgn :: Word8 -> Word8 Source #
Normed TimeSpec Source #	Since: 0.1
Instance details Defined in Effectful.Time.TimeSpec Methods norm :: TimeSpec -> TimeSpec Source # sgn :: TimeSpec -> TimeSpec Source #
Normed Integer	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Integer -> Integer Source # sgn :: Integer -> Integer Source #
Normed Natural	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Natural -> Natural Source # sgn :: Natural -> Natural Source #
Normed Double	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Double -> Double Source # sgn :: Double -> Double Source #
Normed Float	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Float -> Float Source # sgn :: Float -> Float Source #
Normed Int	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Int -> Int Source # sgn :: Int -> Int Source #
Normed Word	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Word -> Word Source # sgn :: Word -> Word Source #
RealFloat a => Normed (Complex a)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Complex a -> Complex a Source # sgn :: Complex a -> Complex a Source #
Normed (Ratio Integer)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Ratio Integer -> Ratio Integer Source # sgn :: Ratio Integer -> Ratio Integer Source #
Normed (Ratio Natural)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Ratio Natural -> Ratio Natural Source # sgn :: Ratio Natural -> Ratio Natural Source #
HasResolution k => Normed (Fixed k)	Since: algebra-simple-0.1
Instance details Defined in Numeric.Algebra.Normed Methods norm :: Fixed k -> Fixed k Source # sgn :: Fixed k -> Fixed k Source #

class LowerBounded a where Source #

Names the lower limit of a type. Types that also have a Bounded instance should define lowerBound === minBound. This can be derived with the anyclass strategy.

Examples

Expand

>>> -- -XDeriveAnyClass, -XDerivingStrategies
>>> data Foo = Foo1 | Foo2 deriving stock (Bounded, Show) deriving anyclass LowerBounded
>>> lowerBound @Foo
Foo1

Since: bounds-0.1

Minimal complete definition

Nothing

Methods

lowerBound :: a Source #

Since: bounds-0.1

default lowerBound :: Bounded a => a Source #

Instances

Instances details

LowerBounded ByteOrder	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: ByteOrder Source #
LowerBounded All	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: All Source #
LowerBounded Any	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Any Source #
LowerBounded CBool	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CBool Source #
LowerBounded CChar	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CChar Source #
LowerBounded CInt	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CInt Source #
LowerBounded CIntMax	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CIntMax Source #
LowerBounded CIntPtr	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CIntPtr Source #
LowerBounded CLLong	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CLLong Source #
LowerBounded CLong	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CLong Source #
LowerBounded CPtrdiff	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CPtrdiff Source #
LowerBounded CSChar	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CSChar Source #
LowerBounded CShort	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CShort Source #
LowerBounded CSigAtomic	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CSigAtomic Source #
LowerBounded CSize	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CSize Source #
LowerBounded CUChar	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CUChar Source #
LowerBounded CUInt	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CUInt Source #
LowerBounded CUIntMax	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CUIntMax Source #
LowerBounded CUIntPtr	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CUIntPtr Source #
LowerBounded CULLong	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CULLong Source #
LowerBounded CULong	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CULong Source #
LowerBounded CUShort	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CUShort Source #
LowerBounded CWchar	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CWchar Source #
LowerBounded IntPtr	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: IntPtr Source #
LowerBounded WordPtr	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: WordPtr Source #
LowerBounded Associativity	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Associativity Source #
LowerBounded DecidedStrictness	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: DecidedStrictness Source #
LowerBounded SourceStrictness	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: SourceStrictness Source #
LowerBounded SourceUnpackedness	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: SourceUnpackedness Source #
LowerBounded Int16	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Int16 Source #
LowerBounded Int32	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Int32 Source #
LowerBounded Int64	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Int64 Source #
LowerBounded Int8	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Int8 Source #
LowerBounded CBlkCnt	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CBlkCnt Source #
LowerBounded CBlkSize	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CBlkSize Source #
LowerBounded CClockId	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CClockId Source #
LowerBounded CDev	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CDev Source #
LowerBounded CFsBlkCnt	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CFsBlkCnt Source #
LowerBounded CFsFilCnt	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CFsFilCnt Source #
LowerBounded CGid	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CGid Source #
LowerBounded CId	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CId Source #
LowerBounded CIno	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CIno Source #
LowerBounded CKey	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CKey Source #
LowerBounded CMode	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CMode Source #
LowerBounded CNfds	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CNfds Source #
LowerBounded CNlink	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CNlink Source #
LowerBounded COff	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: COff Source #
LowerBounded CPid	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CPid Source #
LowerBounded CRLim	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CRLim Source #
LowerBounded CSsize	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CSsize Source #
LowerBounded CTcflag	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CTcflag Source #
LowerBounded CUid	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: CUid Source #
LowerBounded Fd	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Fd Source #
LowerBounded GeneralCategory	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: GeneralCategory Source #
LowerBounded Word16	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Word16 Source #
LowerBounded Word32	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Word32 Source #
LowerBounded Word64	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Word64 Source #
LowerBounded Word8	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Word8 Source #
LowerBounded Ordering	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Ordering Source #
LowerBounded TimeSpec Source #	Since: 0.1
Instance details Defined in Effectful.Time.TimeSpec Methods lowerBound :: TimeSpec Source #
LowerBounded Natural	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Natural Source #
LowerBounded ()	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: () Source #
LowerBounded Bool	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Bool Source #
LowerBounded Char	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Char Source #
LowerBounded Int	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Int Source #
LowerBounded Levity	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Levity Source #
LowerBounded VecCount	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: VecCount Source #
LowerBounded VecElem	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: VecElem Source #
LowerBounded Word	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Word Source #
LowerBounded a => LowerBounded (First a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: First a Source #
LowerBounded a => LowerBounded (Last a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Last a Source #
LowerBounded a => LowerBounded (Max a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Max a Source #
LowerBounded a => LowerBounded (Min a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Min a Source #
LowerBounded a => LowerBounded (WrappedMonoid a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: WrappedMonoid a Source #
Bounded a => LowerBounded (Bounds a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Bounds a Source #
LowerBounded a => LowerBounded (And a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: And a Source #
LowerBounded a => LowerBounded (Iff a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Iff a Source #
LowerBounded a => LowerBounded (Ior a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Ior a Source #
LowerBounded a => LowerBounded (Xor a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Xor a Source #
LowerBounded a => LowerBounded (Identity a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Identity a Source #
UpperBounded a => LowerBounded (Down a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Down a Source #
LowerBounded a => LowerBounded (Dual a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Dual a Source #
LowerBounded a => LowerBounded (Product a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Product a Source #
LowerBounded a => LowerBounded (Sum a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Sum a Source #
LowerBounded a => LowerBounded (Solo a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Solo a Source #
LowerBounded (Proxy t)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Proxy t Source #
(LowerBounded a, LowerBounded b) => LowerBounded (a, b)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b) Source #
LowerBounded a => LowerBounded (Const a b)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Const a b Source #
(Applicative f, LowerBounded a) => LowerBounded (Ap f a)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Ap f a Source #
Coercible a b => LowerBounded (Coercion a b)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: Coercion a b Source #
a ~ b => LowerBounded (a :~: b)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: a :~: b Source #
(LowerBounded a, LowerBounded b, LowerBounded c) => LowerBounded (a, b, c)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c) Source #
a ~~ b => LowerBounded (a :~~: b)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: a :~~: b Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d) => LowerBounded (a, b, c, d)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e) => LowerBounded (a, b, c, d, e)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f) => LowerBounded (a, b, c, d, e, f)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g) => LowerBounded (a, b, c, d, e, f, g)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f, g) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h) => LowerBounded (a, b, c, d, e, f, g, h)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f, g, h) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i) => LowerBounded (a, b, c, d, e, f, g, h, i)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f, g, h, i) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j) => LowerBounded (a, b, c, d, e, f, g, h, i, j)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f, g, h, i, j) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j, LowerBounded k) => LowerBounded (a, b, c, d, e, f, g, h, i, j, k)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f, g, h, i, j, k) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j, LowerBounded k, LowerBounded l) => LowerBounded (a, b, c, d, e, f, g, h, i, j, k, l)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f, g, h, i, j, k, l) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j, LowerBounded k, LowerBounded l, LowerBounded m) => LowerBounded (a, b, c, d, e, f, g, h, i, j, k, l, m)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j, LowerBounded k, LowerBounded l, LowerBounded m, LowerBounded n) => LowerBounded (a, b, c, d, e, f, g, h, i, j, k, l, m, n)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j, LowerBounded k, LowerBounded l, LowerBounded m, LowerBounded n, LowerBounded o) => LowerBounded (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)	Since: bounds-0.1
Instance details Defined in Data.Bounds Methods lowerBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #

class UpperBoundless a Source #

Types that have no upper bound.

Since: bounds-0.1

Instances

Instances details

UpperBoundless TimeSpec Source #	Since: 0.1
Instance details Defined in Effectful.Time.TimeSpec
UpperBoundless Integer	Since: bounds-0.1
Instance details Defined in Data.Bounds
UpperBoundless Natural	Since: bounds-0.1
Instance details Defined in Data.Bounds