Safe Haskell	None
Language	Haskell2010

Napkin.Spec.Yaml.Types.Hooks

Synopsis

type HookName = Text
type HookForYaml b = (HookName, Object -> Parser (HookProgram b))
newtype YamlRange a = YamlRange {
- toRange :: WithinSet a
}
data YamlRangeType
- = RBool
- | RString
- | RDate
- | RDateTime
- | RDouble
- | RInt
rangeTypeText :: YamlRangeType -> Text
(-->) :: a -> b -> (a, b)
assert_count :: HookForYaml b
parseCheck :: (Value -> Parser b) -> Object -> Parser (CompareCount, b)
newtype ColumnOrExpression = ColumnOrExpression (Either SExp Text)
parseColumnsOrExpressions :: Members [SqlParse, FatalError] r => ColumnOrExpression -> Sem r SExp
assert_unique :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b
assert_all_values_within :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b
assert_any_values_within :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b
assert_no_values_within :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b
assertValues :: Object -> (forall a. Val a => WithinSet a -> HookProgram b) -> Parser (HookProgram b)
assert_expression :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b
assert_not_null :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b
assert_cardinalities :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b

Documentation

type HookName = Text #

type HookForYaml b = (HookName, Object -> Parser (HookProgram b)) #

newtype YamlRange a #

Constructors

YamlRange
Fields toRange :: WithinSet a

Instances

Instances details

Eq a => Eq (YamlRange a) #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods (==) :: YamlRange a -> YamlRange a -> Bool # (/=) :: YamlRange a -> YamlRange a -> Bool #
Show a => Show (YamlRange a) #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods showsPrec :: Int -> YamlRange a -> ShowS # show :: YamlRange a -> String # showList :: [YamlRange a] -> ShowS #
Generic (YamlRange a) #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Associated Types type Rep (YamlRange a) :: Type -> Type # Methods from :: YamlRange a -> Rep (YamlRange a) x # to :: Rep (YamlRange a) x -> YamlRange a #
(ToJSON a, Val a) => ToJSON (YamlRange a) #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods toJSON :: YamlRange a -> Value # toEncoding :: YamlRange a -> Encoding # toJSONList :: [YamlRange a] -> Value # toEncodingList :: [YamlRange a] -> Encoding #
(FromJSON a, Val a) => FromJSON (YamlRange a) #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods parseJSON :: Value -> Parser (YamlRange a) # parseJSONList :: Value -> Parser [YamlRange a] #
type Rep (YamlRange a) #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks type Rep (YamlRange a) = D1 ('MetaData "YamlRange" "Napkin.Spec.Yaml.Types.Hooks" "napkin-0.5.11-LzNtVzWpCFCrZQk4T3eyK" 'True) (C1 ('MetaCons "YamlRange" 'PrefixI 'True) (S1 ('MetaSel ('Just "toRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithinSet a))))

data YamlRangeType #

Constructors

RBool
RString
RDate
RDateTime
RDouble
RInt

Instances

Instances details

Bounded YamlRangeType #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods minBound :: YamlRangeType # maxBound :: YamlRangeType #
Enum YamlRangeType #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods succ :: YamlRangeType -> YamlRangeType # pred :: YamlRangeType -> YamlRangeType # toEnum :: Int -> YamlRangeType # fromEnum :: YamlRangeType -> Int # enumFrom :: YamlRangeType -> [YamlRangeType] # enumFromThen :: YamlRangeType -> YamlRangeType -> [YamlRangeType] # enumFromTo :: YamlRangeType -> YamlRangeType -> [YamlRangeType] # enumFromThenTo :: YamlRangeType -> YamlRangeType -> YamlRangeType -> [YamlRangeType] #
Eq YamlRangeType #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods (==) :: YamlRangeType -> YamlRangeType -> Bool # (/=) :: YamlRangeType -> YamlRangeType -> Bool #
Show YamlRangeType #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods showsPrec :: Int -> YamlRangeType -> ShowS # show :: YamlRangeType -> String # showList :: [YamlRangeType] -> ShowS #
Generic YamlRangeType #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Associated Types type Rep YamlRangeType :: Type -> Type # Methods from :: YamlRangeType -> Rep YamlRangeType x # to :: Rep YamlRangeType x -> YamlRangeType #
ToJSON YamlRangeType #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods toJSON :: YamlRangeType -> Value # toEncoding :: YamlRangeType -> Encoding # toJSONList :: [YamlRangeType] -> Value # toEncodingList :: [YamlRangeType] -> Encoding #
FromJSON YamlRangeType #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods parseJSON :: Value -> Parser YamlRangeType # parseJSONList :: Value -> Parser [YamlRangeType] #
type Rep YamlRangeType #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks type Rep YamlRangeType = D1 ('MetaData "YamlRangeType" "Napkin.Spec.Yaml.Types.Hooks" "napkin-0.5.11-LzNtVzWpCFCrZQk4T3eyK" 'False) ((C1 ('MetaCons "RBool" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RDate" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "RDateTime" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RDouble" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RInt" 'PrefixI 'False) (U1 :: Type -> Type))))

rangeTypeText :: YamlRangeType -> Text #

(-->) :: a -> b -> (a, b) #

assert_count :: HookForYaml b #

Assert the relationship between table and another table or constant value

Supported checks: equal, greater_than, greater_than_or_equal, less_than, less_than_or_equal, approximately_equal (relative, absolute – see example below).

assert_count:
 table: target_table
 equal: source_table

assert_count:
 table: target_table
 greater_than_or_equal: 871

Approximate equality:

assert_count:
 table: target_table
 approximately_equal: source_table
 type: relative
 tolerance: 0.01

parseCheck :: (Value -> Parser b) -> Object -> Parser (CompareCount, b) #

newtype ColumnOrExpression #

Constructors

ColumnOrExpression (Either SExp Text)

Instances

Instances details

FromJSON ColumnOrExpression #
Instance details Defined in Napkin.Spec.Yaml.Types.Hooks Methods parseJSON :: Value -> Parser ColumnOrExpression # parseJSONList :: Value -> Parser [ColumnOrExpression] #

parseColumnsOrExpressions :: Members [SqlParse, FatalError] r => ColumnOrExpression -> Sem r SExp #

assert_unique :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b #

Assert that table has all rows unique in terms of selected columns.

assert_unique:
  table: target_table
  columns: [Artist, Title]

assert_all_values_within :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b #

Assert that table have only values within specified set in a certain column

assert_all_values_within:
  table: target_table
  column: target_column
  type: date
  from: 2009-01-01
  to: 2013-12-31

or

assert_all_values_within:
  table: target_table
  column: target_column
  values: [StringOne, StringTwo]

assert_any_values_within :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b #

Assert that table have any values within specified set in a certain column

assert_any_values_within:
  table: target_table
  column: target_column
  type: date
  from: 2009-01-01
  to: 2013-12-31

or > assert_any_values_within: > table: target_table > column: target_column > values: [StringOne, StringTwo]

assert_no_values_within :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b #

Assert that table have no values within specified set in a certain column

assert_no_values_within:
  table: target_table
  column: target_column
  type: date
  from: 2009-01-01
  to: 2013-12-31

or > assert_no_values_within: > table: target_table > column: target_column > values: [StringOne, StringTwo]

assertValues :: Object -> (forall a. Val a => WithinSet a -> HookProgram b) -> Parser (HookProgram b) #

assert_expression :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b #

Assert expression is true

assert_expression:
  table: target_table
  expression: AVG(total) = 42

assert_not_null :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b #

Fail if any of the given expressions/columns have any NULL values.

assert_not_null:
  table: target_table
  columns:
    - zip_code
    - expression: NULLIF(zip_code, '')

assert_cardinalities :: forall b. (ReifiesBackend b, ToDbBackend b) => HookForYaml b #

Checks the cardinalities of two columns that may be sourced from different tables.

assert_cardinalities:
 table: target_table
 column: column_foo
 equal:
   table: source_table
   column: column_bar