Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Util.Default

Synopsis

permute2Def :: (Default a, Default b, Monad f, Alternative f) => f a -> f b -> f (a, b)
permute3Def :: (Default a, Default b, Default c, Monad f, Alternative f) => f a -> f b -> f c -> f (a, b, c)
class Default a where
- def :: a

Documentation

permute2Def :: (Default a, Default b, Monad f, Alternative f) => f a -> f b -> f (a, b) Source #

permute3Def :: (Default a, Default b, Default c, Monad f, Alternative f) => f a -> f b -> f c -> f (a, b, c) Source #

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

Instances details

Default All
Instance details Defined in Data.Default.Class Methods def :: All #
Default Any
Instance details Defined in Data.Default.Class Methods def :: Any #
Default CClock
Instance details Defined in Data.Default.Class Methods def :: CClock #
Default CDouble
Instance details Defined in Data.Default.Class Methods def :: CDouble #
Default CFloat
Instance details Defined in Data.Default.Class Methods def :: CFloat #
Default CInt
Instance details Defined in Data.Default.Class Methods def :: CInt #
Default CIntMax
Instance details Defined in Data.Default.Class Methods def :: CIntMax #
Default CIntPtr
Instance details Defined in Data.Default.Class Methods def :: CIntPtr #
Default CLLong
Instance details Defined in Data.Default.Class Methods def :: CLLong #
Default CLong
Instance details Defined in Data.Default.Class Methods def :: CLong #
Default CPtrdiff
Instance details Defined in Data.Default.Class Methods def :: CPtrdiff #
Default CSUSeconds
Instance details Defined in Data.Default.Class Methods def :: CSUSeconds #
Default CShort
Instance details Defined in Data.Default.Class Methods def :: CShort #
Default CSigAtomic
Instance details Defined in Data.Default.Class Methods def :: CSigAtomic #
Default CSize
Instance details Defined in Data.Default.Class Methods def :: CSize #
Default CTime
Instance details Defined in Data.Default.Class Methods def :: CTime #
Default CUInt
Instance details Defined in Data.Default.Class Methods def :: CUInt #
Default CUIntMax
Instance details Defined in Data.Default.Class Methods def :: CUIntMax #
Default CUIntPtr
Instance details Defined in Data.Default.Class Methods def :: CUIntPtr #
Default CULLong
Instance details Defined in Data.Default.Class Methods def :: CULLong #
Default CULong
Instance details Defined in Data.Default.Class Methods def :: CULong #
Default CUSeconds
Instance details Defined in Data.Default.Class Methods def :: CUSeconds #
Default CUShort
Instance details Defined in Data.Default.Class Methods def :: CUShort #
Default Int16
Instance details Defined in Data.Default.Class Methods def :: Int16 #
Default Int32
Instance details Defined in Data.Default.Class Methods def :: Int32 #
Default Int64
Instance details Defined in Data.Default.Class Methods def :: Int64 #
Default Int8
Instance details Defined in Data.Default.Class Methods def :: Int8 #
Default Word16
Instance details Defined in Data.Default.Class Methods def :: Word16 #
Default Word32
Instance details Defined in Data.Default.Class Methods def :: Word32 #
Default Word64
Instance details Defined in Data.Default.Class Methods def :: Word64 #
Default Word8
Instance details Defined in Data.Default.Class Methods def :: Word8 #
Default Ordering
Instance details Defined in Data.Default.Class Methods def :: Ordering #
Default DeriveRPCOptions Source #
Instance details Defined in Morley.AsRPC Methods def :: DeriveRPCOptions #
Default ErrorSrcPos Source #
Instance details Defined in Morley.Michelson.ErrorPos Methods def :: ErrorSrcPos #
Default Pos Source #
Instance details Defined in Morley.Michelson.ErrorPos Methods def :: Pos #
Default SrcPos Source #
Instance details Defined in Morley.Michelson.ErrorPos Methods def :: SrcPos #
Default MorleyLogsBuilder Source #
Instance details Defined in Morley.Michelson.Interpret Methods def :: MorleyLogsBuilder #
Default OptimizerConf Source #
Instance details Defined in Morley.Michelson.Optimizer Methods def :: OptimizerConf #
Default Ruleset Source #
Instance details Defined in Morley.Michelson.Optimizer.Internal.Ruleset Methods def :: Ruleset #
Default CommonRunOptions Source #
Instance details Defined in Morley.Michelson.Runtime Methods def :: CommonRunOptions #
Default TypeCheckInstrEnv Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheck Methods def :: TypeCheckInstrEnv #
Default TypeCheckOptions Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheck Methods def :: TypeCheckOptions #
Default EntriesOrder Source #
Instance details Defined in Morley.Michelson.Untyped.Contract Methods def :: EntriesOrder #
Default Integer
Instance details Defined in Data.Default.Class Methods def :: Integer #
Default Natural Source #
Instance details Defined in Morley.Util.Instances Methods def :: Natural #
Default ()
Instance details Defined in Data.Default.Class Methods def :: () #
Default Double
Instance details Defined in Data.Default.Class Methods def :: Double #
Default Float
Instance details Defined in Data.Default.Class Methods def :: Float #
Default Int
Instance details Defined in Data.Default.Class Methods def :: Int #
Default Word
Instance details Defined in Data.Default.Class Methods def :: Word #
(Default a, RealFloat a) => Default (Complex a)
Instance details Defined in Data.Default.Class Methods def :: Complex a #
Default (First a)
Instance details Defined in Data.Default.Class Methods def :: First a #
Default (Last a)
Instance details Defined in Data.Default.Class Methods def :: Last a #
Default a => Default (Dual a)
Instance details Defined in Data.Default.Class Methods def :: Dual a #
Default (Endo a)
Instance details Defined in Data.Default.Class Methods def :: Endo a #
Num a => Default (Product a)
Instance details Defined in Data.Default.Class Methods def :: Product a #
Num a => Default (Sum a)
Instance details Defined in Data.Default.Class Methods def :: Sum a #
Integral a => Default (Ratio a)
Instance details Defined in Data.Default.Class Methods def :: Ratio a #
Default a => Default (IO a)
Instance details Defined in Data.Default.Class Methods def :: IO a #
Default (ViewsSetF a) Source #
Instance details Defined in Morley.Michelson.Internal.ViewsSet Methods def :: ViewsSetF a #
(SingI t, Default (Anns xs)) => Default (Anns (Notes t ': xs)) Source #
Instance details Defined in Morley.Michelson.Typed.Annotation Methods def :: Anns (Notes t ': xs) #
(Typeable tag, Default (Anns xs)) => Default (Anns (Annotation tag ': xs)) Source #
Instance details Defined in Morley.Michelson.Typed.Annotation Methods def :: Anns (Annotation tag ': xs) #
Default (Anns ('[] :: [Type])) Source #
Instance details Defined in Morley.Michelson.Typed.Annotation Methods def :: Anns '[] #
Applicative x => Default (DfsSettings x) Source #
Instance details Defined in Morley.Michelson.Typed.Util Methods def :: DfsSettings x #
Default (ViewsSet instr) Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods def :: ViewsSet instr #
f ~ Defaults => Default (Param f) Source #
Instance details Defined in Morley.Util.Named Methods def :: Param f #
Default (Maybe a)
Instance details Defined in Data.Default.Class Methods def :: Maybe a #
Default [a]
Instance details Defined in Data.Default.Class Methods def :: [a] #
Default (BigMap k v) Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Value Methods def :: BigMap k v #
Default (ViewsSet' instr st) Source #
Instance details Defined in Morley.Michelson.Typed.View Methods def :: ViewsSet' instr st #
Default (Annotation tag) Source #
Instance details Defined in Morley.Michelson.Untyped.Annotation Methods def :: Annotation tag #
Default r => Default (e -> r)
Instance details Defined in Data.Default.Class Methods def :: e -> r #
(Default a, Default b) => Default (a, b)
Instance details Defined in Data.Default.Class Methods def :: (a, b) #
(Default a, Default b, Default c) => Default (a, b, c)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c) #
(Default a, Default b, Default c, Default d) => Default (a, b, c, d)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c, d, e, f, g) #