| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Napkin.Spec.Eta
Synopsis
- type TblRf = Ref Table
- data IntrmTblUpdSt
- type IntrmTblsUpdSt = Map TblRf IntrmTblUpdSt
- tablesForUpdate :: forall m b. Monad m => UTCTime -> (Ref Table -> m Bool) -> SpecState -> ValidatedInterpretedSpec b -> m (Set TblRf)
Documentation
data IntrmTblUpdSt #
Constructors
| IntrmTblUpdSt_Maybe | |
| IntrmTblUpdSt_True | |
| IntrmTblUpdSt_False |
Instances
| Eq IntrmTblUpdSt # | |
Defined in Napkin.Spec.Eta Methods (==) :: IntrmTblUpdSt -> IntrmTblUpdSt -> Bool # (/=) :: IntrmTblUpdSt -> IntrmTblUpdSt -> Bool # | |
| Ord IntrmTblUpdSt # | |
Defined in Napkin.Spec.Eta Methods compare :: IntrmTblUpdSt -> IntrmTblUpdSt -> Ordering # (<) :: IntrmTblUpdSt -> IntrmTblUpdSt -> Bool # (<=) :: IntrmTblUpdSt -> IntrmTblUpdSt -> Bool # (>) :: IntrmTblUpdSt -> IntrmTblUpdSt -> Bool # (>=) :: IntrmTblUpdSt -> IntrmTblUpdSt -> Bool # max :: IntrmTblUpdSt -> IntrmTblUpdSt -> IntrmTblUpdSt # min :: IntrmTblUpdSt -> IntrmTblUpdSt -> IntrmTblUpdSt # | |
| Show IntrmTblUpdSt # | |
Defined in Napkin.Spec.Eta Methods showsPrec :: Int -> IntrmTblUpdSt -> ShowS # show :: IntrmTblUpdSt -> String # showList :: [IntrmTblUpdSt] -> ShowS # | |
type IntrmTblsUpdSt = Map TblRf IntrmTblUpdSt #
tablesForUpdate :: forall m b. Monad m => UTCTime -> (Ref Table -> m Bool) -> SpecState -> ValidatedInterpretedSpec b -> m (Set TblRf) #
tablesForUpdate discovers missing spec tables or containing old data
TODO: parallelize