Safe Haskell	None
Language	GHC2024

Napkin.Run.Effects.Hooks.Types

Documentation

type BoundToRelation a = Ref Relation -> a #

data CountTolerance #

Constructors

Absolute Scientific
Relative Scientific

Instances

Instances details

Show CountTolerance #
Instance details Defined in Napkin.Run.Effects.Hooks.Types Methods showsPrec :: Int -> CountTolerance -> ShowS # show :: CountTolerance -> String # showList :: [CountTolerance] -> ShowS #
Eq CountTolerance #
Instance details Defined in Napkin.Run.Effects.Hooks.Types Methods (==) :: CountTolerance -> CountTolerance -> Bool # (/=) :: CountTolerance -> CountTolerance -> Bool #

data CompareCount #

Constructors

Equal
GreaterThan
GreaterThanEqual
LessThan
LessThanEqual
ApproxEqual CountTolerance

Instances

Instances details

Show CompareCount #
Instance details Defined in Napkin.Run.Effects.Hooks.Types Methods showsPrec :: Int -> CompareCount -> ShowS # show :: CompareCount -> String # showList :: [CompareCount] -> ShowS #
Eq CompareCount #
Instance details Defined in Napkin.Run.Effects.Hooks.Types Methods (==) :: CompareCount -> CompareCount -> Bool # (/=) :: CompareCount -> CompareCount -> Bool #

parseCompareCount :: Object -> WarningParser (CompareCount, Value) #

pattern ApproxEqualRelative :: Scientific -> CompareCount #

pattern ApproxEqualAbsolute :: Scientific -> CompareCount #

compareCount :: Real a => CompareCount -> a -> a -> Bool #

displayCompareCount :: CompareCount -> Text #

displayTolerance :: CountTolerance -> Text #

type PredicateSExp = SExp #

data WithinSet a #

Constructors

FromToRange a a
ValuesList [a]

Instances

Instances details

Data a => Data (WithinSet a) #

Instance details

Defined in Napkin.Run.Effects.Hooks.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WithinSet a -> c (WithinSet a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (WithinSet a) #

toConstr :: WithinSet a -> Constr #

dataTypeOf :: WithinSet a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (WithinSet a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (WithinSet a)) #

gmapT :: (forall b. Data b => b -> b) -> WithinSet a -> WithinSet a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WithinSet a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WithinSet a -> r #

gmapQ :: (forall d. Data d => d -> u) -> WithinSet a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> WithinSet a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WithinSet a -> m (WithinSet a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WithinSet a -> m (WithinSet a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WithinSet a -> m (WithinSet a) #

Generic (WithinSet a) #

Instance details

Defined in Napkin.Run.Effects.Hooks.Types

Associated Types

type Rep (WithinSet a)

Instance details

Defined in Napkin.Run.Effects.Hooks.Types

type Rep (WithinSet a) = D1 ('MetaData "WithinSet" "Napkin.Run.Effects.Hooks.Types" "napkin-api-2.0.0-DLCJ7X7TSiWHqRCAUru88E" 'False) (C1 ('MetaCons "FromToRange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "ValuesList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))

Methods

from :: WithinSet a -> Rep (WithinSet a) x #

to :: Rep (WithinSet a) x -> WithinSet a #

Show a => Show (WithinSet a) #

Instance details

Defined in Napkin.Run.Effects.Hooks.Types

Methods

showsPrec :: Int -> WithinSet a -> ShowS #

show :: WithinSet a -> String #

showList :: [WithinSet a] -> ShowS #

Eq a => Eq (WithinSet a) #

Instance details

Defined in Napkin.Run.Effects.Hooks.Types

Methods

(==) :: WithinSet a -> WithinSet a -> Bool #

(/=) :: WithinSet a -> WithinSet a -> Bool #

type Rep (WithinSet a) #

Instance details

Defined in Napkin.Run.Effects.Hooks.Types

type Rep (WithinSet a) = D1 ('MetaData "WithinSet" "Napkin.Run.Effects.Hooks.Types" "napkin-api-2.0.0-DLCJ7X7TSiWHqRCAUru88E" 'False) (C1 ('MetaCons "FromToRange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "ValuesList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))