NewtypeZoo.Required

Indicate that something is Required.

Documentation

newtype Required a

Constructors

Required a

Instances

Monad Required

Defined in NewtypeZoo.Required

Methods

(>>=) :: Required a -> (a -> Required b) -> Required b

(>>) :: Required a -> Required b -> Required b

return :: a -> Required a

Functor Required

Defined in NewtypeZoo.Required

Methods

fmap :: (a -> b) -> Required a -> Required b

(<$) :: a -> Required b -> Required a

MonadFix Required

Defined in NewtypeZoo.Required

Methods

mfix :: (a -> Required a) -> Required a

Applicative Required

Defined in NewtypeZoo.Required

Methods

pure :: a -> Required a

(<*>) :: Required (a -> b) -> Required a -> Required b

liftA2 :: (a -> b -> c) -> Required a -> Required b -> Required c

(*>) :: Required a -> Required b -> Required b

(<*) :: Required a -> Required b -> Required a

Foldable Required

Defined in NewtypeZoo.Required

Methods

fold :: Monoid m => Required m -> m

foldMap :: Monoid m => (a -> m) -> Required a -> m

foldMap' :: Monoid m => (a -> m) -> Required a -> m

foldr :: (a -> b -> b) -> b -> Required a -> b

foldr' :: (a -> b -> b) -> b -> Required a -> b

foldl :: (b -> a -> b) -> b -> Required a -> b

foldl' :: (b -> a -> b) -> b -> Required a -> b

foldr1 :: (a -> a -> a) -> Required a -> a

foldl1 :: (a -> a -> a) -> Required a -> a

toList :: Required a -> [a]

null :: Required a -> Bool

length :: Required a -> Int

elem :: Eq a => a -> Required a -> Bool

maximum :: Ord a => Required a -> a

minimum :: Ord a => Required a -> a

sum :: Num a => Required a -> a

product :: Num a => Required a -> a

Traversable Required

Defined in NewtypeZoo.Required

Methods

traverse :: Applicative f => (a -> f b) -> Required a -> f (Required b)

sequenceA :: Applicative f => Required (f a) -> f (Required a)

mapM :: Monad m => (a -> m b) -> Required a -> m (Required b)

sequence :: Monad m => Required (m a) -> m (Required a)

Eq1 Required

Defined in NewtypeZoo.Required

Methods

liftEq :: (a -> b -> Bool) -> Required a -> Required b -> Bool

Ord1 Required

Defined in NewtypeZoo.Required

Methods

liftCompare :: (a -> b -> Ordering) -> Required a -> Required b -> Ordering

Read1 Required

Defined in NewtypeZoo.Required

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Required a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Required a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Required a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Required a]

Show1 Required

Defined in NewtypeZoo.Required

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Required a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Required a] -> ShowS

MonadZip Required

Defined in NewtypeZoo.Required

Methods

mzip :: Required a -> Required b -> Required (a, b)

mzipWith :: (a -> b -> c) -> Required a -> Required b -> Required c

munzip :: Required (a, b) -> (Required a, Required b)

Pointed Required

Defined in NewtypeZoo.Required

Methods

point :: a -> Required a

Copointed Required

Defined in NewtypeZoo.Required

Methods

copoint :: Required a -> a

Bounded a => Bounded (Required a)

Defined in NewtypeZoo.Required

Methods

minBound :: Required a

maxBound :: Required a

Enum a => Enum (Required a)

Defined in NewtypeZoo.Required

Methods

succ :: Required a -> Required a

pred :: Required a -> Required a

toEnum :: Int -> Required a

fromEnum :: Required a -> Int

enumFrom :: Required a -> [Required a]

enumFromThen :: Required a -> Required a -> [Required a]

enumFromTo :: Required a -> Required a -> [Required a]

enumFromThenTo :: Required a -> Required a -> Required a -> [Required a]

Eq a => Eq (Required a)

Defined in NewtypeZoo.Required

Methods

(==) :: Required a -> Required a -> Bool

(/=) :: Required a -> Required a -> Bool

Floating a => Floating (Required a)

Defined in NewtypeZoo.Required

Methods

pi :: Required a

exp :: Required a -> Required a

log :: Required a -> Required a

sqrt :: Required a -> Required a

(**) :: Required a -> Required a -> Required a

logBase :: Required a -> Required a -> Required a

sin :: Required a -> Required a

cos :: Required a -> Required a

tan :: Required a -> Required a

asin :: Required a -> Required a

acos :: Required a -> Required a

atan :: Required a -> Required a

sinh :: Required a -> Required a

cosh :: Required a -> Required a

tanh :: Required a -> Required a

asinh :: Required a -> Required a

acosh :: Required a -> Required a

atanh :: Required a -> Required a

log1p :: Required a -> Required a

expm1 :: Required a -> Required a

log1pexp :: Required a -> Required a

log1mexp :: Required a -> Required a

Fractional a => Fractional (Required a)

Defined in NewtypeZoo.Required

Methods

(/) :: Required a -> Required a -> Required a

recip :: Required a -> Required a

fromRational :: Rational -> Required a

Integral a => Integral (Required a)

Defined in NewtypeZoo.Required

Methods

quot :: Required a -> Required a -> Required a

rem :: Required a -> Required a -> Required a

div :: Required a -> Required a -> Required a

mod :: Required a -> Required a -> Required a

quotRem :: Required a -> Required a -> (Required a, Required a)

divMod :: Required a -> Required a -> (Required a, Required a)

toInteger :: Required a -> Integer

Num a => Num (Required a)

Defined in NewtypeZoo.Required

Methods

(+) :: Required a -> Required a -> Required a

(-) :: Required a -> Required a -> Required a

(*) :: Required a -> Required a -> Required a

negate :: Required a -> Required a

abs :: Required a -> Required a

signum :: Required a -> Required a

fromInteger :: Integer -> Required a

Ord a => Ord (Required a)

Defined in NewtypeZoo.Required

Methods

compare :: Required a -> Required a -> Ordering

(<) :: Required a -> Required a -> Bool

(<=) :: Required a -> Required a -> Bool

(>) :: Required a -> Required a -> Bool

(>=) :: Required a -> Required a -> Bool

max :: Required a -> Required a -> Required a

min :: Required a -> Required a -> Required a

Read a => Read (Required a)

Defined in NewtypeZoo.Required

Methods

readsPrec :: Int -> ReadS (Required a)

readList :: ReadS [Required a]

readPrec :: ReadPrec (Required a)

readListPrec :: ReadPrec [Required a]

Real a => Real (Required a)

Defined in NewtypeZoo.Required

Methods

toRational :: Required a -> Rational

RealFloat a => RealFloat (Required a)

Defined in NewtypeZoo.Required

Methods

floatRadix :: Required a -> Integer

floatDigits :: Required a -> Int

floatRange :: Required a -> (Int, Int)

decodeFloat :: Required a -> (Integer, Int)

encodeFloat :: Integer -> Int -> Required a

exponent :: Required a -> Int

significand :: Required a -> Required a

scaleFloat :: Int -> Required a -> Required a

isNaN :: Required a -> Bool

isInfinite :: Required a -> Bool

isDenormalized :: Required a -> Bool

isNegativeZero :: Required a -> Bool

isIEEE :: Required a -> Bool

atan2 :: Required a -> Required a -> Required a

RealFrac a => RealFrac (Required a)

Defined in NewtypeZoo.Required

Methods

properFraction :: Integral b => Required a -> (b, Required a)

truncate :: Integral b => Required a -> b

round :: Integral b => Required a -> b

ceiling :: Integral b => Required a -> b

floor :: Integral b => Required a -> b

Show a => Show (Required a)

Defined in NewtypeZoo.Required

Methods

showsPrec :: Int -> Required a -> ShowS

show :: Required a -> String

showList :: [Required a] -> ShowS

Ix a => Ix (Required a)

Defined in NewtypeZoo.Required

Methods

range :: (Required a, Required a) -> [Required a]

index :: (Required a, Required a) -> Required a -> Int

unsafeIndex :: (Required a, Required a) -> Required a -> Int

inRange :: (Required a, Required a) -> Required a -> Bool

rangeSize :: (Required a, Required a) -> Int

unsafeRangeSize :: (Required a, Required a) -> Int

IsString a => IsString (Required a)

Defined in NewtypeZoo.Required

Methods

fromString :: String -> Required a

Generic (Required a)

Defined in NewtypeZoo.Required

Associated Types

type Rep (Required a) :: Type -> Type

Methods

from :: Required a -> Rep (Required a) x

to :: Rep (Required a) x -> Required a

Semigroup a => Semigroup (Required a)

Defined in NewtypeZoo.Required

Methods

(<>) :: Required a -> Required a -> Required a

sconcat :: NonEmpty (Required a) -> Required a

stimes :: Integral b => b -> Required a -> Required a

Monoid a => Monoid (Required a)

Defined in NewtypeZoo.Required

Methods

mempty :: Required a

mappend :: Required a -> Required a -> Required a

mconcat :: [Required a] -> Required a

Arbitrary a => Arbitrary (Required a)

Defined in NewtypeZoo.Required

Methods

arbitrary :: Gen (Required a)

shrink :: Required a -> [Required a]

Bits a => Bits (Required a)

Defined in NewtypeZoo.Required

Methods

(.&.) :: Required a -> Required a -> Required a

(.|.) :: Required a -> Required a -> Required a

xor :: Required a -> Required a -> Required a

complement :: Required a -> Required a

shift :: Required a -> Int -> Required a

rotate :: Required a -> Int -> Required a

zeroBits :: Required a

bit :: Int -> Required a

setBit :: Required a -> Int -> Required a

clearBit :: Required a -> Int -> Required a

complementBit :: Required a -> Int -> Required a

testBit :: Required a -> Int -> Bool

bitSizeMaybe :: Required a -> Maybe Int

bitSize :: Required a -> Int

isSigned :: Required a -> Bool

shiftL :: Required a -> Int -> Required a

unsafeShiftL :: Required a -> Int -> Required a

shiftR :: Required a -> Int -> Required a

unsafeShiftR :: Required a -> Int -> Required a

rotateL :: Required a -> Int -> Required a

rotateR :: Required a -> Int -> Required a

popCount :: Required a -> Int

FiniteBits a => FiniteBits (Required a)

Defined in NewtypeZoo.Required

Methods

finiteBitSize :: Required a -> Int

countLeadingZeros :: Required a -> Int

countTrailingZeros :: Required a -> Int

Default a => Default (Required a)

Defined in NewtypeZoo.Required

Methods

def :: Required a

NFData a => NFData (Required a)

Defined in NewtypeZoo.Required

Methods

rnf :: Required a -> ()

Random a => Random (Required a)

Defined in NewtypeZoo.Required

Methods

randomR :: RandomGen g => (Required a, Required a) -> g -> (Required a, g)

random :: RandomGen g => g -> (Required a, g)

randomRs :: RandomGen g => (Required a, Required a) -> g -> [Required a]

randoms :: RandomGen g => g -> [Required a]

Generic1 Required

Defined in NewtypeZoo.Required

Associated Types

type Rep1 Required :: k -> Type

Methods

from1 :: forall (a :: k). Required a -> Rep1 Required a

to1 :: forall (a :: k). Rep1 Required a -> Required a

type Rep (Required a)

Defined in NewtypeZoo.Required

type Rep (Required a) = D1 ('MetaData "Required" "NewtypeZoo.Required" "newtype-zoo-1.2.1.0-Km8yne3Tled57gA1FTjiYK" 'True) (C1 ('MetaCons "Required" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type Rep1 Required

Defined in NewtypeZoo.Required

type Rep1 Required = D1 ('MetaData "Required" "NewtypeZoo.Required" "newtype-zoo-1.2.1.0-Km8yne3Tled57gA1FTjiYK" 'True) (C1 ('MetaCons "Required" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

_theRequired :: Required x -> x

theRequired :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Required a) (f (Required b))