Safe Haskell	Safe-Inferred
Language	GHC2021

Galley.Validation

Documentation

rangeChecked :: (KnownNat n, KnownNat m, Member (Error InvalidInput) r, Within a n m) => a -> Sem r (Range n m a) Source #

rangeCheckedMaybe :: (Member (Error InvalidInput) r, KnownNat n, KnownNat m, Within a n m) => Maybe a -> Sem r (Maybe (Range n m a)) Source #

$sel:fromConvSize:ConvSizeChecked :: ConvSizeChecked f a -> f a Source #

data ConvSizeChecked f a Source #

Instances

Instances details

Foldable f => Foldable (ConvSizeChecked f) Source #
Instance details Defined in Galley.Validation Methods fold :: Monoid m => ConvSizeChecked f m -> m # foldMap :: Monoid m => (a -> m) -> ConvSizeChecked f a -> m # foldMap' :: Monoid m => (a -> m) -> ConvSizeChecked f a -> m # foldr :: (a -> b -> b) -> b -> ConvSizeChecked f a -> b # foldr' :: (a -> b -> b) -> b -> ConvSizeChecked f a -> b # foldl :: (b -> a -> b) -> b -> ConvSizeChecked f a -> b # foldl' :: (b -> a -> b) -> b -> ConvSizeChecked f a -> b # foldr1 :: (a -> a -> a) -> ConvSizeChecked f a -> a # foldl1 :: (a -> a -> a) -> ConvSizeChecked f a -> a # toList :: ConvSizeChecked f a -> [a] # null :: ConvSizeChecked f a -> Bool # length :: ConvSizeChecked f a -> Int # elem :: Eq a => a -> ConvSizeChecked f a -> Bool # maximum :: Ord a => ConvSizeChecked f a -> a # minimum :: Ord a => ConvSizeChecked f a -> a # sum :: Num a => ConvSizeChecked f a -> a # product :: Num a => ConvSizeChecked f a -> a #
Traversable f => Traversable (ConvSizeChecked f) Source #
Instance details Defined in Galley.Validation Methods traverse :: Applicative f0 => (a -> f0 b) -> ConvSizeChecked f a -> f0 (ConvSizeChecked f b) # sequenceA :: Applicative f0 => ConvSizeChecked f (f0 a) -> f0 (ConvSizeChecked f a) # mapM :: Monad m => (a -> m b) -> ConvSizeChecked f a -> m (ConvSizeChecked f b) # sequence :: Monad m => ConvSizeChecked f (m a) -> m (ConvSizeChecked f a) #
Functor f => Functor (ConvSizeChecked f) Source #
Instance details Defined in Galley.Validation Methods fmap :: (a -> b) -> ConvSizeChecked f a -> ConvSizeChecked f b # (<$) :: a -> ConvSizeChecked f b -> ConvSizeChecked f a #
Monoid (f a) => Monoid (ConvSizeChecked f a) Source #
Instance details Defined in Galley.Validation Methods mempty :: ConvSizeChecked f a # mappend :: ConvSizeChecked f a -> ConvSizeChecked f a -> ConvSizeChecked f a # mconcat :: [ConvSizeChecked f a] -> ConvSizeChecked f a #
Semigroup (f a) => Semigroup (ConvSizeChecked f a) Source #
Instance details Defined in Galley.Validation Methods (<>) :: ConvSizeChecked f a -> ConvSizeChecked f a -> ConvSizeChecked f a # sconcat :: NonEmpty (ConvSizeChecked f a) -> ConvSizeChecked f a # stimes :: Integral b => b -> ConvSizeChecked f a -> ConvSizeChecked f a #

checkedConvSize :: (Member (Error InvalidInput) r, Foldable f) => Opts -> f a -> Sem r (ConvSizeChecked f a) Source #