Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
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
checkedConvSize :: (Member (Error InvalidInput) r, Foldable f) => Opts -> f a -> Sem r (ConvSizeChecked f a) Source #