Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Data.Default

Synopsis

class HasDefault a where
- default_ :: a

Documentation

class HasDefault a where #

Simple class for types with a default value.

Minimal complete definition

Nothing

Methods

default_ :: a #

default default_ :: (Generic a, GHasDefault (Rep a)) => a #

Instances

Instances details

HasDefault PrecisionSplittingStrategy #
Instance details Defined in Traq.Analysis.Annotate.Prelude Methods default_ :: PrecisionSplittingStrategy #
HasDefault (Set v) #
Instance details Defined in Traq.Data.Default Methods default_ :: Set v #
HasDefault (AnnotateEnv ext) #
Instance details Defined in Traq.Analysis.Annotate.Prelude Methods default_ :: AnnotateEnv ext #
HasDefault (QueryCost precT) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods default_ :: QueryCost precT #
HasDefault precT => HasDefault (SimpleQueryCost precT) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods default_ :: SimpleQueryCost precT #
HasDefault (CheckingCtx sizeT) #
Instance details Defined in Traq.CQPL.TypeCheck Methods default_ :: CheckingCtx sizeT #
HasDefault (LoweringCtx sizeT) #
Instance details Defined in Traq.Compiler.Prelude Methods default_ :: LoweringCtx sizeT #
HasDefault (Context a) #
Instance details Defined in Traq.Data.Context Methods default_ :: Context a #
HasDefault (EvaluationEnv ext) #
Instance details Defined in Traq.ProtoLang.Eval Methods default_ :: EvaluationEnv ext #
HasDefault [a] #
Instance details Defined in Traq.Data.Default Methods default_ :: [a] #
HasDefault (Map k v) #
Instance details Defined in Traq.Data.Default Methods default_ :: Map k v #
HasDefault (AnnotateState ext ext') #
Instance details Defined in Traq.Analysis.Annotate.Prelude Methods default_ :: AnnotateState ext ext' #
(HasDefault a, HasDefault b) => HasDefault (a, b) #
Instance details Defined in Traq.Data.Default Methods default_ :: (a, b) #
(HasDefault a, HasDefault b, HasDefault c) => HasDefault (a, b, c) #
Instance details Defined in Traq.Data.Default Methods default_ :: (a, b, c) #
(HasDefault a, HasDefault b, HasDefault c, HasDefault d) => HasDefault (a, b, c, d) #
Instance details Defined in Traq.Data.Default Methods default_ :: (a, b, c, d) #