Hedgehog.Range.Defaults

Module declaring newtypes and Default instances for Range.

Documentation

class Default a where

A class for types with a default value.

Minimal complete definition

Nothing

Methods

def :: a

The default value for this type.

Instances

Default All

Defined in Data.Default.Class

Methods

def :: All

Default Any

Defined in Data.Default.Class

Methods

def :: Any

Default CClock

Defined in Data.Default.Class

Methods

def :: CClock

Default CDouble

Defined in Data.Default.Class

Methods

def :: CDouble

Default CFloat

Defined in Data.Default.Class

Methods

def :: CFloat

Default CInt

Defined in Data.Default.Class

Methods

def :: CInt

Default CIntMax

Defined in Data.Default.Class

Methods

def :: CIntMax

Default CIntPtr

Defined in Data.Default.Class

Methods

def :: CIntPtr

Default CLLong

Defined in Data.Default.Class

Methods

def :: CLLong

Default CLong

Defined in Data.Default.Class

Methods

def :: CLong

Default CPtrdiff

Defined in Data.Default.Class

Methods

def :: CPtrdiff

Default CSUSeconds

Defined in Data.Default.Class

Methods

def :: CSUSeconds

Default CShort

Defined in Data.Default.Class

Methods

def :: CShort

Default CSigAtomic

Defined in Data.Default.Class

Methods

def :: CSigAtomic

Default CSize

Defined in Data.Default.Class

Methods

def :: CSize

Default CTime

Defined in Data.Default.Class

Methods

def :: CTime

Default CUInt

Defined in Data.Default.Class

Methods

def :: CUInt

Default CUIntMax

Defined in Data.Default.Class

Methods

def :: CUIntMax

Default CUIntPtr

Defined in Data.Default.Class

Methods

def :: CUIntPtr

Default CULLong

Defined in Data.Default.Class

Methods

def :: CULLong

Default CULong

Defined in Data.Default.Class

Methods

def :: CULong

Default CUSeconds

Defined in Data.Default.Class

Methods

def :: CUSeconds

Default CUShort

Defined in Data.Default.Class

Methods

def :: CUShort

Default Int16

Defined in Data.Default.Class

Methods

def :: Int16

Default Int32

Defined in Data.Default.Class

Methods

def :: Int32

Default Int64

Defined in Data.Default.Class

Methods

def :: Int64

Default Int8

Defined in Data.Default.Class

Methods

def :: Int8

Default Word16

Defined in Data.Default.Class

Methods

def :: Word16

Default Word32

Defined in Data.Default.Class

Methods

def :: Word32

Default Word64

Defined in Data.Default.Class

Methods

def :: Word64

Default SpecificOrDefaultAlias

Defined in Test.Cleveland.Internal.Abstract

Methods

def :: SpecificOrDefaultAlias

Default Ordering

Defined in Data.Default.Class

Methods

def :: Ordering

Default NewtonParam

Defined in Numeric.RootFinding

Methods

def :: NewtonParam

Default RiddersParam

Defined in Numeric.RootFinding

Methods

def :: RiddersParam

Default ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

def :: ErrorSrcPos

Default Pos

Defined in Morley.Michelson.ErrorPos

Methods

def :: Pos

Default SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

def :: SrcPos

Default MorleyLogsBuilder

Defined in Morley.Michelson.Interpret

Methods

def :: MorleyLogsBuilder

Default TypeCheckInstrEnv

Defined in Morley.Michelson.TypeCheck.TypeCheck

Methods

def :: TypeCheckInstrEnv

Default TypeCheckOptions

Defined in Morley.Michelson.TypeCheck.TypeCheck

Methods

def :: TypeCheckOptions

Default EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

def :: EntriesOrder

Default EpName

Defined in Test.Cleveland.Instances

Methods

def :: EpName

Default FeeConstants

Defined in Morley.Client.RPC.Types

Methods

def :: FeeConstants

Default ContParam

We use s as default value which is same as R's default.

Defined in Statistics.Quantile

Methods

def :: ContParam

Default Word8

Defined in Data.Default.Class

Methods

def :: Word8

Default Integer

Defined in Data.Default.Class

Methods

def :: Integer

Default ()

Defined in Data.Default.Class

Methods

def :: ()

Default Double

Defined in Data.Default.Class

Methods

def :: Double

Default Float

Defined in Data.Default.Class

Methods

def :: Float

Default Int

Defined in Data.Default.Class

Methods

def :: Int

Default Word

Defined in Data.Default.Class

Methods

def :: Word

(Default a, RealFloat a) => Default (Complex a)

Defined in Data.Default.Class

Methods

def :: Complex a

Default (First a)

Defined in Data.Default.Class

Methods

def :: First a

Default (Last a)

Defined in Data.Default.Class

Methods

def :: Last a

Default a => Default (Dual a)

Defined in Data.Default.Class

Methods

def :: Dual a

Default (Endo a)

Defined in Data.Default.Class

Methods

def :: Endo a

Num a => Default (Product a)

Defined in Data.Default.Class

Methods

def :: Product a

Num a => Default (Sum a)

Defined in Data.Default.Class

Methods

def :: Sum a

Integral a => Default (Ratio a)

Defined in Data.Default.Class

Methods

def :: Ratio a

Default a => Default (IO a)

Defined in Data.Default.Class

Methods

def :: IO a

Default (Range ExpressionInt)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range ExpressionInt

Default (Range Length)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range Length

Default (Range SmallLength)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range SmallLength

Default (Range TicketAmount)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range TicketAmount

Default (Range TinyLength)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range TinyLength

Default (Range ValueInt)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range ValueInt

Default (Range Pos)

Defined in Hedgehog.Range.Defaults.Orphans

Methods

def :: Range Pos

Default (Range (Value' instr 'TInt))

Defined in Hedgehog.Range.Defaults.Orphans

Methods

def :: Range (Value' instr 'TInt)

Default (Range (Value' instr 'TNat))

Defined in Hedgehog.Range.Defaults.Orphans

Methods

def :: Range (Value' instr 'TNat)

Default (Range StackRef)

Defined in Hedgehog.Range.Defaults.Orphans

Methods

def :: Range StackRef

Default (Range Mutez)

Defined in Hedgehog.Range.Defaults.Orphans

Methods

def :: Range Mutez

Default (Range Timestamp)

Defined in Hedgehog.Range.Defaults.Orphans

Methods

def :: Range Timestamp

mname ~ ('Nothing :: Maybe Symbol) => Default (EntrypointRef mname)

Defined in Test.Cleveland.Instances

Methods

def :: EntrypointRef mname

(SingI t, Default (Anns xs)) => Default (Anns (Notes t ': xs))

Defined in Morley.Michelson.Typed.Annotation

Methods

def :: Anns (Notes t ': xs)

(Typeable tag, Default (Anns xs)) => Default (Anns (Annotation tag ': xs))

Defined in Morley.Michelson.Typed.Annotation

Methods

def :: Anns (Annotation tag ': xs)

Default (Anns ('[] :: [Type]))

Defined in Morley.Michelson.Typed.Annotation

Methods

def :: Anns '[]

Applicative x => Default (DfsSettings x)

Defined in Morley.Michelson.Typed.Util

Methods

def :: DfsSettings x

Default (Maybe a)

Defined in Data.Default.Class

Methods

def :: Maybe a

Default [a]

Defined in Data.Default.Class

Methods

def :: [a]

Default (BigMap k v)

Defined in Morley.Michelson.Typed.Haskell.Value

Methods

def :: BigMap k v

Default (ViewsSet' instr st)

Defined in Morley.Michelson.Typed.View

Methods

def :: ViewsSet' instr st

Default (Annotation tag)

Defined in Morley.Michelson.Untyped.Annotation

Methods

def :: Annotation tag

Default r => Default (e -> r)

Defined in Data.Default.Class

Methods

def :: e -> r

(Default a, Default b) => Default (a, b)

Defined in Data.Default.Class

Methods

def :: (a, b)

(Default a, Default b, Default c) => Default (a, b, c)

Defined in Data.Default.Class

Methods

def :: (a, b, c)

(Default a, Default b, Default c, Default d) => Default (a, b, c, d)

Defined in Data.Default.Class

Methods

def :: (a, b, c, d)

(Default a, Default b, Default c, Default d, Default e) => Default (a, b, c, d, e)

Defined in Data.Default.Class

Methods

def :: (a, b, c, d, e)

(Default a, Default b, Default c, Default d, Default e, Default f) => Default (a, b, c, d, e, f)

Defined in Data.Default.Class

Methods

def :: (a, b, c, d, e, f)

(Default a, Default b, Default c, Default d, Default e, Default f, Default g) => Default (a, b, c, d, e, f, g)

Defined in Data.Default.Class

Methods

def :: (a, b, c, d, e, f, g)

newtype Length

Newtype for specifying lengths of various containers.

Constructors

Length

Fields

• unLength :: Int

Instances

Bounded Length

Defined in Hedgehog.Range.Defaults

Methods

minBound :: Length

maxBound :: Length

Enum Length

Defined in Hedgehog.Range.Defaults

Methods

succ :: Length -> Length

pred :: Length -> Length

toEnum :: Int -> Length

fromEnum :: Length -> Int

enumFrom :: Length -> [Length]

enumFromThen :: Length -> Length -> [Length]

enumFromTo :: Length -> Length -> [Length]

enumFromThenTo :: Length -> Length -> Length -> [Length]

Num Length

Defined in Hedgehog.Range.Defaults

Methods

(+) :: Length -> Length -> Length

(-) :: Length -> Length -> Length

(*) :: Length -> Length -> Length

negate :: Length -> Length

abs :: Length -> Length

signum :: Length -> Length

fromInteger :: Integer -> Length

Integral Length

Defined in Hedgehog.Range.Defaults

Methods

quot :: Length -> Length -> Length

rem :: Length -> Length -> Length

div :: Length -> Length -> Length

mod :: Length -> Length -> Length

quotRem :: Length -> Length -> (Length, Length)

divMod :: Length -> Length -> (Length, Length)

toInteger :: Length -> Integer

Real Length

Defined in Hedgehog.Range.Defaults

Methods

toRational :: Length -> Rational

Eq Length

Defined in Hedgehog.Range.Defaults

Methods

(==) :: Length -> Length -> Bool

(/=) :: Length -> Length -> Bool

Ord Length

Defined in Hedgehog.Range.Defaults

Methods

compare :: Length -> Length -> Ordering

(<) :: Length -> Length -> Bool

(<=) :: Length -> Length -> Bool

(>) :: Length -> Length -> Bool

(>=) :: Length -> Length -> Bool

max :: Length -> Length -> Length

min :: Length -> Length -> Length

Default (Range Length)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range Length

newtype SmallLength

Newtype for specifying lengths of various containers.

Constructors

SmallLength

Fields

• unSmallLength :: Int

Instances

Bounded SmallLength

Defined in Hedgehog.Range.Defaults

Methods

minBound :: SmallLength

maxBound :: SmallLength

Enum SmallLength

Defined in Hedgehog.Range.Defaults

Methods

succ :: SmallLength -> SmallLength

pred :: SmallLength -> SmallLength

toEnum :: Int -> SmallLength

fromEnum :: SmallLength -> Int

enumFrom :: SmallLength -> [SmallLength]

enumFromThen :: SmallLength -> SmallLength -> [SmallLength]

enumFromTo :: SmallLength -> SmallLength -> [SmallLength]

enumFromThenTo :: SmallLength -> SmallLength -> SmallLength -> [SmallLength]

Num SmallLength

Defined in Hedgehog.Range.Defaults

Methods

(+) :: SmallLength -> SmallLength -> SmallLength

(-) :: SmallLength -> SmallLength -> SmallLength

(*) :: SmallLength -> SmallLength -> SmallLength

negate :: SmallLength -> SmallLength

abs :: SmallLength -> SmallLength

signum :: SmallLength -> SmallLength

fromInteger :: Integer -> SmallLength

Integral SmallLength

Defined in Hedgehog.Range.Defaults

Methods

quot :: SmallLength -> SmallLength -> SmallLength

rem :: SmallLength -> SmallLength -> SmallLength

div :: SmallLength -> SmallLength -> SmallLength

mod :: SmallLength -> SmallLength -> SmallLength

quotRem :: SmallLength -> SmallLength -> (SmallLength, SmallLength)

divMod :: SmallLength -> SmallLength -> (SmallLength, SmallLength)

toInteger :: SmallLength -> Integer

Real SmallLength

Defined in Hedgehog.Range.Defaults

Methods

toRational :: SmallLength -> Rational

Eq SmallLength

Defined in Hedgehog.Range.Defaults

Methods

(==) :: SmallLength -> SmallLength -> Bool

(/=) :: SmallLength -> SmallLength -> Bool

Ord SmallLength

Defined in Hedgehog.Range.Defaults

Methods

compare :: SmallLength -> SmallLength -> Ordering

(<) :: SmallLength -> SmallLength -> Bool

(<=) :: SmallLength -> SmallLength -> Bool

(>) :: SmallLength -> SmallLength -> Bool

(>=) :: SmallLength -> SmallLength -> Bool

max :: SmallLength -> SmallLength -> SmallLength

min :: SmallLength -> SmallLength -> SmallLength

Default (Range SmallLength)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range SmallLength

newtype TinyLength

Newtype for specifying lengths of various containers.

Constructors

TinyLength

Fields

• unTinyLength :: Int

Instances

Bounded TinyLength

Defined in Hedgehog.Range.Defaults

Methods

minBound :: TinyLength

maxBound :: TinyLength

Enum TinyLength

Defined in Hedgehog.Range.Defaults

Methods

succ :: TinyLength -> TinyLength

pred :: TinyLength -> TinyLength

toEnum :: Int -> TinyLength

fromEnum :: TinyLength -> Int

enumFrom :: TinyLength -> [TinyLength]

enumFromThen :: TinyLength -> TinyLength -> [TinyLength]

enumFromTo :: TinyLength -> TinyLength -> [TinyLength]

enumFromThenTo :: TinyLength -> TinyLength -> TinyLength -> [TinyLength]

Num TinyLength

Defined in Hedgehog.Range.Defaults

Methods

(+) :: TinyLength -> TinyLength -> TinyLength

(-) :: TinyLength -> TinyLength -> TinyLength

(*) :: TinyLength -> TinyLength -> TinyLength

negate :: TinyLength -> TinyLength

abs :: TinyLength -> TinyLength

signum :: TinyLength -> TinyLength

fromInteger :: Integer -> TinyLength

Integral TinyLength

Defined in Hedgehog.Range.Defaults

Methods

quot :: TinyLength -> TinyLength -> TinyLength

rem :: TinyLength -> TinyLength -> TinyLength

div :: TinyLength -> TinyLength -> TinyLength

mod :: TinyLength -> TinyLength -> TinyLength

quotRem :: TinyLength -> TinyLength -> (TinyLength, TinyLength)

divMod :: TinyLength -> TinyLength -> (TinyLength, TinyLength)

toInteger :: TinyLength -> Integer

Real TinyLength

Defined in Hedgehog.Range.Defaults

Methods

toRational :: TinyLength -> Rational

Eq TinyLength

Defined in Hedgehog.Range.Defaults

Methods

(==) :: TinyLength -> TinyLength -> Bool

(/=) :: TinyLength -> TinyLength -> Bool

Ord TinyLength

Defined in Hedgehog.Range.Defaults

Methods

compare :: TinyLength -> TinyLength -> Ordering

(<) :: TinyLength -> TinyLength -> Bool

(<=) :: TinyLength -> TinyLength -> Bool

(>) :: TinyLength -> TinyLength -> Bool

(>=) :: TinyLength -> TinyLength -> Bool

max :: TinyLength -> TinyLength -> TinyLength

min :: TinyLength -> TinyLength -> TinyLength

Default (Range TinyLength)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range TinyLength

newtype TicketAmount

Newtype for the range of Ticket amount field.

Constructors

MkTicketAmount

Fields

• unTicketAmount :: Natural

Instances

Enum TicketAmount

Defined in Hedgehog.Range.Defaults

Methods

succ :: TicketAmount -> TicketAmount

pred :: TicketAmount -> TicketAmount

toEnum :: Int -> TicketAmount

fromEnum :: TicketAmount -> Int

enumFrom :: TicketAmount -> [TicketAmount]

enumFromThen :: TicketAmount -> TicketAmount -> [TicketAmount]

enumFromTo :: TicketAmount -> TicketAmount -> [TicketAmount]

enumFromThenTo :: TicketAmount -> TicketAmount -> TicketAmount -> [TicketAmount]

Num TicketAmount

Defined in Hedgehog.Range.Defaults

Methods

(+) :: TicketAmount -> TicketAmount -> TicketAmount

(-) :: TicketAmount -> TicketAmount -> TicketAmount

(*) :: TicketAmount -> TicketAmount -> TicketAmount

negate :: TicketAmount -> TicketAmount

abs :: TicketAmount -> TicketAmount

signum :: TicketAmount -> TicketAmount

fromInteger :: Integer -> TicketAmount

Integral TicketAmount

Defined in Hedgehog.Range.Defaults

Methods

quot :: TicketAmount -> TicketAmount -> TicketAmount

rem :: TicketAmount -> TicketAmount -> TicketAmount

div :: TicketAmount -> TicketAmount -> TicketAmount

mod :: TicketAmount -> TicketAmount -> TicketAmount

quotRem :: TicketAmount -> TicketAmount -> (TicketAmount, TicketAmount)

divMod :: TicketAmount -> TicketAmount -> (TicketAmount, TicketAmount)

toInteger :: TicketAmount -> Integer

Real TicketAmount

Defined in Hedgehog.Range.Defaults

Methods

toRational :: TicketAmount -> Rational

Eq TicketAmount

Defined in Hedgehog.Range.Defaults

Methods

(==) :: TicketAmount -> TicketAmount -> Bool

(/=) :: TicketAmount -> TicketAmount -> Bool

Ord TicketAmount

Defined in Hedgehog.Range.Defaults

Methods

compare :: TicketAmount -> TicketAmount -> Ordering

(<) :: TicketAmount -> TicketAmount -> Bool

(<=) :: TicketAmount -> TicketAmount -> Bool

(>) :: TicketAmount -> TicketAmount -> Bool

(>=) :: TicketAmount -> TicketAmount -> Bool

max :: TicketAmount -> TicketAmount -> TicketAmount

min :: TicketAmount -> TicketAmount -> TicketAmount

Default (Range TicketAmount)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range TicketAmount

newtype ValueInt

Newtype for the range of ValueInt constructor of untyped Value'.

Constructors

MkValueInt

Fields

• unValueInt :: Integer

Instances

Enum ValueInt

Defined in Hedgehog.Range.Defaults

Methods

succ :: ValueInt -> ValueInt

pred :: ValueInt -> ValueInt

toEnum :: Int -> ValueInt

fromEnum :: ValueInt -> Int

enumFrom :: ValueInt -> [ValueInt]

enumFromThen :: ValueInt -> ValueInt -> [ValueInt]

enumFromTo :: ValueInt -> ValueInt -> [ValueInt]

enumFromThenTo :: ValueInt -> ValueInt -> ValueInt -> [ValueInt]

Num ValueInt

Defined in Hedgehog.Range.Defaults

Methods

(+) :: ValueInt -> ValueInt -> ValueInt

(-) :: ValueInt -> ValueInt -> ValueInt

(*) :: ValueInt -> ValueInt -> ValueInt

negate :: ValueInt -> ValueInt

abs :: ValueInt -> ValueInt

signum :: ValueInt -> ValueInt

fromInteger :: Integer -> ValueInt

Real ValueInt

Defined in Hedgehog.Range.Defaults

Methods

toRational :: ValueInt -> Rational

Eq ValueInt

Defined in Hedgehog.Range.Defaults

Methods

(==) :: ValueInt -> ValueInt -> Bool

(/=) :: ValueInt -> ValueInt -> Bool

Ord ValueInt

Defined in Hedgehog.Range.Defaults

Methods

compare :: ValueInt -> ValueInt -> Ordering

(<) :: ValueInt -> ValueInt -> Bool

(<=) :: ValueInt -> ValueInt -> Bool

(>) :: ValueInt -> ValueInt -> Bool

(>=) :: ValueInt -> ValueInt -> Bool

max :: ValueInt -> ValueInt -> ValueInt

min :: ValueInt -> ValueInt -> ValueInt

Default (Range ValueInt)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range ValueInt

newtype ExpressionInt

Newtype for the range of ExpressionInt constructor of Expression.

Constructors

MkExpressionInt

Fields

• unExpressionInt :: Integer

Instances

Enum ExpressionInt

Defined in Hedgehog.Range.Defaults

Methods

succ :: ExpressionInt -> ExpressionInt

pred :: ExpressionInt -> ExpressionInt

toEnum :: Int -> ExpressionInt

fromEnum :: ExpressionInt -> Int

enumFrom :: ExpressionInt -> [ExpressionInt]

enumFromThen :: ExpressionInt -> ExpressionInt -> [ExpressionInt]

enumFromTo :: ExpressionInt -> ExpressionInt -> [ExpressionInt]

enumFromThenTo :: ExpressionInt -> ExpressionInt -> ExpressionInt -> [ExpressionInt]

Num ExpressionInt

Defined in Hedgehog.Range.Defaults

Methods

(+) :: ExpressionInt -> ExpressionInt -> ExpressionInt

(-) :: ExpressionInt -> ExpressionInt -> ExpressionInt

(*) :: ExpressionInt -> ExpressionInt -> ExpressionInt

negate :: ExpressionInt -> ExpressionInt

abs :: ExpressionInt -> ExpressionInt

signum :: ExpressionInt -> ExpressionInt

fromInteger :: Integer -> ExpressionInt

Real ExpressionInt

Defined in Hedgehog.Range.Defaults

Methods

toRational :: ExpressionInt -> Rational

Eq ExpressionInt

Defined in Hedgehog.Range.Defaults

Methods

(==) :: ExpressionInt -> ExpressionInt -> Bool

(/=) :: ExpressionInt -> ExpressionInt -> Bool

Ord ExpressionInt

Defined in Hedgehog.Range.Defaults

Methods

compare :: ExpressionInt -> ExpressionInt -> Ordering

(<) :: ExpressionInt -> ExpressionInt -> Bool

(<=) :: ExpressionInt -> ExpressionInt -> Bool

(>) :: ExpressionInt -> ExpressionInt -> Bool

(>=) :: ExpressionInt -> ExpressionInt -> Bool

max :: ExpressionInt -> ExpressionInt -> ExpressionInt

min :: ExpressionInt -> ExpressionInt -> ExpressionInt

Default (Range ExpressionInt)

Defined in Hedgehog.Range.Defaults

Methods

def :: Range ExpressionInt