newtype-zoo-1.1.0.0: Newtype Wrapper Zoo
NewtypeZoo.Valid
Description
Indicate that something is Valid.
Valid
newtype Valid a Source #
Constructors
Defined in NewtypeZoo.Valid
Methods
(>>=) :: Valid a -> (a -> Valid b) -> Valid b #
(>>) :: Valid a -> Valid b -> Valid b #
return :: a -> Valid a #
fail :: String -> Valid a #
fmap :: (a -> b) -> Valid a -> Valid b #
(<$) :: a -> Valid b -> Valid a #
mfix :: (a -> Valid a) -> Valid a #
pure :: a -> Valid a #
(<*>) :: Valid (a -> b) -> Valid a -> Valid b #
liftA2 :: (a -> b -> c) -> Valid a -> Valid b -> Valid c #
(*>) :: Valid a -> Valid b -> Valid b #
(<*) :: Valid a -> Valid b -> Valid a #
fold :: Monoid m => Valid m -> m #
foldMap :: Monoid m => (a -> m) -> Valid a -> m #
foldr :: (a -> b -> b) -> b -> Valid a -> b #
foldr' :: (a -> b -> b) -> b -> Valid a -> b #
foldl :: (b -> a -> b) -> b -> Valid a -> b #
foldl' :: (b -> a -> b) -> b -> Valid a -> b #
foldr1 :: (a -> a -> a) -> Valid a -> a #
foldl1 :: (a -> a -> a) -> Valid a -> a #
toList :: Valid a -> [a] #
null :: Valid a -> Bool #
length :: Valid a -> Int #
elem :: Eq a => a -> Valid a -> Bool #
maximum :: Ord a => Valid a -> a #
minimum :: Ord a => Valid a -> a #
sum :: Num a => Valid a -> a #
product :: Num a => Valid a -> a #
traverse :: Applicative f => (a -> f b) -> Valid a -> f (Valid b) #
sequenceA :: Applicative f => Valid (f a) -> f (Valid a) #
mapM :: Monad m => (a -> m b) -> Valid a -> m (Valid b) #
sequence :: Monad m => Valid (m a) -> m (Valid a) #
liftEq :: (a -> b -> Bool) -> Valid a -> Valid b -> Bool #
liftCompare :: (a -> b -> Ordering) -> Valid a -> Valid b -> Ordering #
liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Valid a) #
liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Valid a] #
liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Valid a) #
liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Valid a] #
liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Valid a -> ShowS #
liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Valid a] -> ShowS #
mzip :: Valid a -> Valid b -> Valid (a, b) #
mzipWith :: (a -> b -> c) -> Valid a -> Valid b -> Valid c #
munzip :: Valid (a, b) -> (Valid a, Valid b) #
point :: a -> Valid a #
copoint :: Valid a -> a #
minBound :: Valid a #
maxBound :: Valid a #
succ :: Valid a -> Valid a #
pred :: Valid a -> Valid a #
toEnum :: Int -> Valid a #
fromEnum :: Valid a -> Int #
enumFrom :: Valid a -> [Valid a] #
enumFromThen :: Valid a -> Valid a -> [Valid a] #
enumFromTo :: Valid a -> Valid a -> [Valid a] #
enumFromThenTo :: Valid a -> Valid a -> Valid a -> [Valid a] #
(==) :: Valid a -> Valid a -> Bool #
(/=) :: Valid a -> Valid a -> Bool #
pi :: Valid a #
exp :: Valid a -> Valid a #
log :: Valid a -> Valid a #
sqrt :: Valid a -> Valid a #
(**) :: Valid a -> Valid a -> Valid a #
logBase :: Valid a -> Valid a -> Valid a #
sin :: Valid a -> Valid a #
cos :: Valid a -> Valid a #
tan :: Valid a -> Valid a #
asin :: Valid a -> Valid a #
acos :: Valid a -> Valid a #
atan :: Valid a -> Valid a #
sinh :: Valid a -> Valid a #
cosh :: Valid a -> Valid a #
tanh :: Valid a -> Valid a #
asinh :: Valid a -> Valid a #
acosh :: Valid a -> Valid a #
atanh :: Valid a -> Valid a #
log1p :: Valid a -> Valid a #
expm1 :: Valid a -> Valid a #
log1pexp :: Valid a -> Valid a #
log1mexp :: Valid a -> Valid a #
(/) :: Valid a -> Valid a -> Valid a #
recip :: Valid a -> Valid a #
fromRational :: Rational -> Valid a #
quot :: Valid a -> Valid a -> Valid a #
rem :: Valid a -> Valid a -> Valid a #
div :: Valid a -> Valid a -> Valid a #
mod :: Valid a -> Valid a -> Valid a #
quotRem :: Valid a -> Valid a -> (Valid a, Valid a) #
divMod :: Valid a -> Valid a -> (Valid a, Valid a) #
toInteger :: Valid a -> Integer #
(+) :: Valid a -> Valid a -> Valid a #
(-) :: Valid a -> Valid a -> Valid a #
(*) :: Valid a -> Valid a -> Valid a #
negate :: Valid a -> Valid a #
abs :: Valid a -> Valid a #
signum :: Valid a -> Valid a #
fromInteger :: Integer -> Valid a #
compare :: Valid a -> Valid a -> Ordering #
(<) :: Valid a -> Valid a -> Bool #
(<=) :: Valid a -> Valid a -> Bool #
(>) :: Valid a -> Valid a -> Bool #
(>=) :: Valid a -> Valid a -> Bool #
max :: Valid a -> Valid a -> Valid a #
min :: Valid a -> Valid a -> Valid a #
readsPrec :: Int -> ReadS (Valid a) #
readList :: ReadS [Valid a] #
readPrec :: ReadPrec (Valid a) #
readListPrec :: ReadPrec [Valid a] #
toRational :: Valid a -> Rational #
floatRadix :: Valid a -> Integer #
floatDigits :: Valid a -> Int #
floatRange :: Valid a -> (Int, Int) #
decodeFloat :: Valid a -> (Integer, Int) #
encodeFloat :: Integer -> Int -> Valid a #
exponent :: Valid a -> Int #
significand :: Valid a -> Valid a #
scaleFloat :: Int -> Valid a -> Valid a #
isNaN :: Valid a -> Bool #
isInfinite :: Valid a -> Bool #
isDenormalized :: Valid a -> Bool #
isNegativeZero :: Valid a -> Bool #
isIEEE :: Valid a -> Bool #
atan2 :: Valid a -> Valid a -> Valid a #
properFraction :: Integral b => Valid a -> (b, Valid a) #
truncate :: Integral b => Valid a -> b #
round :: Integral b => Valid a -> b #
ceiling :: Integral b => Valid a -> b #
floor :: Integral b => Valid a -> b #
showsPrec :: Int -> Valid a -> ShowS #
show :: Valid a -> String #
showList :: [Valid a] -> ShowS #
range :: (Valid a, Valid a) -> [Valid a] #
index :: (Valid a, Valid a) -> Valid a -> Int #
unsafeIndex :: (Valid a, Valid a) -> Valid a -> Int
inRange :: (Valid a, Valid a) -> Valid a -> Bool #
rangeSize :: (Valid a, Valid a) -> Int #
unsafeRangeSize :: (Valid a, Valid a) -> Int
fromString :: String -> Valid a #
Associated Types
type Rep (Valid a) :: Type -> Type #
from :: Valid a -> Rep (Valid a) x #
to :: Rep (Valid a) x -> Valid a #
(<>) :: Valid a -> Valid a -> Valid a #
sconcat :: NonEmpty (Valid a) -> Valid a #
stimes :: Integral b => b -> Valid a -> Valid a #
mempty :: Valid a #
mappend :: Valid a -> Valid a -> Valid a #
mconcat :: [Valid a] -> Valid a #
arbitrary :: Gen (Valid a) #
shrink :: Valid a -> [Valid a] #
(.&.) :: Valid a -> Valid a -> Valid a #
(.|.) :: Valid a -> Valid a -> Valid a #
xor :: Valid a -> Valid a -> Valid a #
complement :: Valid a -> Valid a #
shift :: Valid a -> Int -> Valid a #
rotate :: Valid a -> Int -> Valid a #
zeroBits :: Valid a #
bit :: Int -> Valid a #
setBit :: Valid a -> Int -> Valid a #
clearBit :: Valid a -> Int -> Valid a #
complementBit :: Valid a -> Int -> Valid a #
testBit :: Valid a -> Int -> Bool #
bitSizeMaybe :: Valid a -> Maybe Int #
bitSize :: Valid a -> Int #
isSigned :: Valid a -> Bool #
shiftL :: Valid a -> Int -> Valid a #
unsafeShiftL :: Valid a -> Int -> Valid a #
shiftR :: Valid a -> Int -> Valid a #
unsafeShiftR :: Valid a -> Int -> Valid a #
rotateL :: Valid a -> Int -> Valid a #
rotateR :: Valid a -> Int -> Valid a #
popCount :: Valid a -> Int #
finiteBitSize :: Valid a -> Int #
countLeadingZeros :: Valid a -> Int #
countTrailingZeros :: Valid a -> Int #
def :: Valid a #
rnf :: Valid a -> () #
randomR :: RandomGen g => (Valid a, Valid a) -> g -> (Valid a, g) #
random :: RandomGen g => g -> (Valid a, g) #
randomRs :: RandomGen g => (Valid a, Valid a) -> g -> [Valid a] #
randoms :: RandomGen g => g -> [Valid a] #
randomRIO :: (Valid a, Valid a) -> IO (Valid a) #
randomIO :: IO (Valid a) #
type Rep1 Valid :: k -> Type #
from1 :: Valid a -> Rep1 Valid a #
to1 :: Rep1 Valid a -> Valid a #
_theValid :: Valid x -> x Source #
theValid :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Valid a) (f (Valid b)) Source #