NewtypeZoo.Offered

Indicate that something is Offered.

Documentation

newtype Offered a

Constructors

Offered a

Instances

Monad Offered

Defined in NewtypeZoo.Offered

Methods

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

(>>) :: Offered a -> Offered b -> Offered b

return :: a -> Offered a

Functor Offered

Defined in NewtypeZoo.Offered

Methods

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

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

MonadFix Offered

Defined in NewtypeZoo.Offered

Methods

mfix :: (a -> Offered a) -> Offered a

Applicative Offered

Defined in NewtypeZoo.Offered

Methods

pure :: a -> Offered a

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

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

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

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

Foldable Offered

Defined in NewtypeZoo.Offered

Methods

fold :: Monoid m => Offered m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Offered a -> a

foldl1 :: (a -> a -> a) -> Offered a -> a

toList :: Offered a -> [a]

null :: Offered a -> Bool

length :: Offered a -> Int

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

maximum :: Ord a => Offered a -> a

minimum :: Ord a => Offered a -> a

sum :: Num a => Offered a -> a

product :: Num a => Offered a -> a

Traversable Offered

Defined in NewtypeZoo.Offered

Methods

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

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

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

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

Eq1 Offered

Defined in NewtypeZoo.Offered

Methods

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

Ord1 Offered

Defined in NewtypeZoo.Offered

Methods

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

Read1 Offered

Defined in NewtypeZoo.Offered

Methods

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

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

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

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

Show1 Offered

Defined in NewtypeZoo.Offered

Methods

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

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

MonadZip Offered

Defined in NewtypeZoo.Offered

Methods

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

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

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

Pointed Offered

Defined in NewtypeZoo.Offered

Methods

point :: a -> Offered a

Copointed Offered

Defined in NewtypeZoo.Offered

Methods

copoint :: Offered a -> a

Bounded a => Bounded (Offered a)

Defined in NewtypeZoo.Offered

Methods

minBound :: Offered a

maxBound :: Offered a

Enum a => Enum (Offered a)

Defined in NewtypeZoo.Offered

Methods

succ :: Offered a -> Offered a

pred :: Offered a -> Offered a

toEnum :: Int -> Offered a

fromEnum :: Offered a -> Int

enumFrom :: Offered a -> [Offered a]

enumFromThen :: Offered a -> Offered a -> [Offered a]

enumFromTo :: Offered a -> Offered a -> [Offered a]

enumFromThenTo :: Offered a -> Offered a -> Offered a -> [Offered a]

Eq a => Eq (Offered a)

Defined in NewtypeZoo.Offered

Methods

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

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

Floating a => Floating (Offered a)

Defined in NewtypeZoo.Offered

Methods

pi :: Offered a

exp :: Offered a -> Offered a

log :: Offered a -> Offered a

sqrt :: Offered a -> Offered a

(**) :: Offered a -> Offered a -> Offered a

logBase :: Offered a -> Offered a -> Offered a

sin :: Offered a -> Offered a

cos :: Offered a -> Offered a

tan :: Offered a -> Offered a

asin :: Offered a -> Offered a

acos :: Offered a -> Offered a

atan :: Offered a -> Offered a

sinh :: Offered a -> Offered a

cosh :: Offered a -> Offered a

tanh :: Offered a -> Offered a

asinh :: Offered a -> Offered a

acosh :: Offered a -> Offered a

atanh :: Offered a -> Offered a

log1p :: Offered a -> Offered a

expm1 :: Offered a -> Offered a

log1pexp :: Offered a -> Offered a

log1mexp :: Offered a -> Offered a

Fractional a => Fractional (Offered a)

Defined in NewtypeZoo.Offered

Methods

(/) :: Offered a -> Offered a -> Offered a

recip :: Offered a -> Offered a

fromRational :: Rational -> Offered a

Integral a => Integral (Offered a)

Defined in NewtypeZoo.Offered

Methods

quot :: Offered a -> Offered a -> Offered a

rem :: Offered a -> Offered a -> Offered a

div :: Offered a -> Offered a -> Offered a

mod :: Offered a -> Offered a -> Offered a

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

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

toInteger :: Offered a -> Integer

Num a => Num (Offered a)

Defined in NewtypeZoo.Offered

Methods

(+) :: Offered a -> Offered a -> Offered a

(-) :: Offered a -> Offered a -> Offered a

(*) :: Offered a -> Offered a -> Offered a

negate :: Offered a -> Offered a

abs :: Offered a -> Offered a

signum :: Offered a -> Offered a

fromInteger :: Integer -> Offered a

Ord a => Ord (Offered a)

Defined in NewtypeZoo.Offered

Methods

compare :: Offered a -> Offered a -> Ordering

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

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

(>) :: Offered a -> Offered a -> Bool

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

max :: Offered a -> Offered a -> Offered a

min :: Offered a -> Offered a -> Offered a

Read a => Read (Offered a)

Defined in NewtypeZoo.Offered

Methods

readsPrec :: Int -> ReadS (Offered a)

readList :: ReadS [Offered a]

readPrec :: ReadPrec (Offered a)

readListPrec :: ReadPrec [Offered a]

Real a => Real (Offered a)

Defined in NewtypeZoo.Offered

Methods

toRational :: Offered a -> Rational

RealFloat a => RealFloat (Offered a)

Defined in NewtypeZoo.Offered

Methods

floatRadix :: Offered a -> Integer

floatDigits :: Offered a -> Int

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

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

encodeFloat :: Integer -> Int -> Offered a

exponent :: Offered a -> Int

significand :: Offered a -> Offered a

scaleFloat :: Int -> Offered a -> Offered a

isNaN :: Offered a -> Bool

isInfinite :: Offered a -> Bool

isDenormalized :: Offered a -> Bool

isNegativeZero :: Offered a -> Bool

isIEEE :: Offered a -> Bool

atan2 :: Offered a -> Offered a -> Offered a

RealFrac a => RealFrac (Offered a)

Defined in NewtypeZoo.Offered

Methods

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

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

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

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

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

Show a => Show (Offered a)

Defined in NewtypeZoo.Offered

Methods

showsPrec :: Int -> Offered a -> ShowS

show :: Offered a -> String

showList :: [Offered a] -> ShowS

Ix a => Ix (Offered a)

Defined in NewtypeZoo.Offered

Methods

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

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

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

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

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

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

IsString a => IsString (Offered a)

Defined in NewtypeZoo.Offered

Methods

fromString :: String -> Offered a

Generic (Offered a)

Defined in NewtypeZoo.Offered

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Offered a)

Defined in NewtypeZoo.Offered

Methods

(<>) :: Offered a -> Offered a -> Offered a

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

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

Monoid a => Monoid (Offered a)

Defined in NewtypeZoo.Offered

Methods

mempty :: Offered a

mappend :: Offered a -> Offered a -> Offered a

mconcat :: [Offered a] -> Offered a

Arbitrary a => Arbitrary (Offered a)

Defined in NewtypeZoo.Offered

Methods

arbitrary :: Gen (Offered a)

shrink :: Offered a -> [Offered a]

Bits a => Bits (Offered a)

Defined in NewtypeZoo.Offered

Methods

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

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

xor :: Offered a -> Offered a -> Offered a

complement :: Offered a -> Offered a

shift :: Offered a -> Int -> Offered a

rotate :: Offered a -> Int -> Offered a

zeroBits :: Offered a

bit :: Int -> Offered a

setBit :: Offered a -> Int -> Offered a

clearBit :: Offered a -> Int -> Offered a

complementBit :: Offered a -> Int -> Offered a

testBit :: Offered a -> Int -> Bool

bitSizeMaybe :: Offered a -> Maybe Int

bitSize :: Offered a -> Int

isSigned :: Offered a -> Bool

shiftL :: Offered a -> Int -> Offered a

unsafeShiftL :: Offered a -> Int -> Offered a

shiftR :: Offered a -> Int -> Offered a

unsafeShiftR :: Offered a -> Int -> Offered a

rotateL :: Offered a -> Int -> Offered a

rotateR :: Offered a -> Int -> Offered a

popCount :: Offered a -> Int

FiniteBits a => FiniteBits (Offered a)

Defined in NewtypeZoo.Offered

Methods

finiteBitSize :: Offered a -> Int

countLeadingZeros :: Offered a -> Int

countTrailingZeros :: Offered a -> Int

Default a => Default (Offered a)

Defined in NewtypeZoo.Offered

Methods

def :: Offered a

NFData a => NFData (Offered a)

Defined in NewtypeZoo.Offered

Methods

rnf :: Offered a -> ()

Random a => Random (Offered a)

Defined in NewtypeZoo.Offered

Methods

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

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

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

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

Generic1 Offered

Defined in NewtypeZoo.Offered

Associated Types

type Rep1 Offered :: k -> Type

Methods

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

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

type Rep (Offered a)

Defined in NewtypeZoo.Offered

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

type Rep1 Offered

Defined in NewtypeZoo.Offered

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

_theOffered :: Offered x -> x

theOffered :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Offered a) (f (Offered b))