NewtypeZoo.Proposed

Indicate that something is a Proposed value.

Documentation

newtype Proposed a

Constructors

Proposed a

Instances

Monad Proposed

Defined in NewtypeZoo.Proposed

Methods

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

(>>) :: Proposed a -> Proposed b -> Proposed b

return :: a -> Proposed a

Functor Proposed

Defined in NewtypeZoo.Proposed

Methods

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

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

MonadFix Proposed

Defined in NewtypeZoo.Proposed

Methods

mfix :: (a -> Proposed a) -> Proposed a

Applicative Proposed

Defined in NewtypeZoo.Proposed

Methods

pure :: a -> Proposed a

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

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

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

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

Foldable Proposed

Defined in NewtypeZoo.Proposed

Methods

fold :: Monoid m => Proposed m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Proposed a -> a

foldl1 :: (a -> a -> a) -> Proposed a -> a

toList :: Proposed a -> [a]

null :: Proposed a -> Bool

length :: Proposed a -> Int

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

maximum :: Ord a => Proposed a -> a

minimum :: Ord a => Proposed a -> a

sum :: Num a => Proposed a -> a

product :: Num a => Proposed a -> a

Traversable Proposed

Defined in NewtypeZoo.Proposed

Methods

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

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

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

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

Eq1 Proposed

Defined in NewtypeZoo.Proposed

Methods

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

Ord1 Proposed

Defined in NewtypeZoo.Proposed

Methods

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

Read1 Proposed

Defined in NewtypeZoo.Proposed

Methods

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

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

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

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

Show1 Proposed

Defined in NewtypeZoo.Proposed

Methods

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

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

MonadZip Proposed

Defined in NewtypeZoo.Proposed

Methods

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

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

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

Pointed Proposed

Defined in NewtypeZoo.Proposed

Methods

point :: a -> Proposed a

Copointed Proposed

Defined in NewtypeZoo.Proposed

Methods

copoint :: Proposed a -> a

Bounded a => Bounded (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

minBound :: Proposed a

maxBound :: Proposed a

Enum a => Enum (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

succ :: Proposed a -> Proposed a

pred :: Proposed a -> Proposed a

toEnum :: Int -> Proposed a

fromEnum :: Proposed a -> Int

enumFrom :: Proposed a -> [Proposed a]

enumFromThen :: Proposed a -> Proposed a -> [Proposed a]

enumFromTo :: Proposed a -> Proposed a -> [Proposed a]

enumFromThenTo :: Proposed a -> Proposed a -> Proposed a -> [Proposed a]

Eq a => Eq (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

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

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

Floating a => Floating (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

pi :: Proposed a

exp :: Proposed a -> Proposed a

log :: Proposed a -> Proposed a

sqrt :: Proposed a -> Proposed a

(**) :: Proposed a -> Proposed a -> Proposed a

logBase :: Proposed a -> Proposed a -> Proposed a

sin :: Proposed a -> Proposed a

cos :: Proposed a -> Proposed a

tan :: Proposed a -> Proposed a

asin :: Proposed a -> Proposed a

acos :: Proposed a -> Proposed a

atan :: Proposed a -> Proposed a

sinh :: Proposed a -> Proposed a

cosh :: Proposed a -> Proposed a

tanh :: Proposed a -> Proposed a

asinh :: Proposed a -> Proposed a

acosh :: Proposed a -> Proposed a

atanh :: Proposed a -> Proposed a

log1p :: Proposed a -> Proposed a

expm1 :: Proposed a -> Proposed a

log1pexp :: Proposed a -> Proposed a

log1mexp :: Proposed a -> Proposed a

Fractional a => Fractional (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

(/) :: Proposed a -> Proposed a -> Proposed a

recip :: Proposed a -> Proposed a

fromRational :: Rational -> Proposed a

Integral a => Integral (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

quot :: Proposed a -> Proposed a -> Proposed a

rem :: Proposed a -> Proposed a -> Proposed a

div :: Proposed a -> Proposed a -> Proposed a

mod :: Proposed a -> Proposed a -> Proposed a

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

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

toInteger :: Proposed a -> Integer

Num a => Num (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

(+) :: Proposed a -> Proposed a -> Proposed a

(-) :: Proposed a -> Proposed a -> Proposed a

(*) :: Proposed a -> Proposed a -> Proposed a

negate :: Proposed a -> Proposed a

abs :: Proposed a -> Proposed a

signum :: Proposed a -> Proposed a

fromInteger :: Integer -> Proposed a

Ord a => Ord (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

compare :: Proposed a -> Proposed a -> Ordering

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

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

(>) :: Proposed a -> Proposed a -> Bool

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

max :: Proposed a -> Proposed a -> Proposed a

min :: Proposed a -> Proposed a -> Proposed a

Read a => Read (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

readsPrec :: Int -> ReadS (Proposed a)

readList :: ReadS [Proposed a]

readPrec :: ReadPrec (Proposed a)

readListPrec :: ReadPrec [Proposed a]

Real a => Real (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

toRational :: Proposed a -> Rational

RealFloat a => RealFloat (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

floatRadix :: Proposed a -> Integer

floatDigits :: Proposed a -> Int

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

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

encodeFloat :: Integer -> Int -> Proposed a

exponent :: Proposed a -> Int

significand :: Proposed a -> Proposed a

scaleFloat :: Int -> Proposed a -> Proposed a

isNaN :: Proposed a -> Bool

isInfinite :: Proposed a -> Bool

isDenormalized :: Proposed a -> Bool

isNegativeZero :: Proposed a -> Bool

isIEEE :: Proposed a -> Bool

atan2 :: Proposed a -> Proposed a -> Proposed a

RealFrac a => RealFrac (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

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

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

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

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

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

Show a => Show (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

showsPrec :: Int -> Proposed a -> ShowS

show :: Proposed a -> String

showList :: [Proposed a] -> ShowS

Ix a => Ix (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

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

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

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

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

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

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

IsString a => IsString (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

fromString :: String -> Proposed a

Generic (Proposed a)

Defined in NewtypeZoo.Proposed

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

(<>) :: Proposed a -> Proposed a -> Proposed a

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

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

Monoid a => Monoid (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

mempty :: Proposed a

mappend :: Proposed a -> Proposed a -> Proposed a

mconcat :: [Proposed a] -> Proposed a

Arbitrary a => Arbitrary (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

arbitrary :: Gen (Proposed a)

shrink :: Proposed a -> [Proposed a]

Bits a => Bits (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

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

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

xor :: Proposed a -> Proposed a -> Proposed a

complement :: Proposed a -> Proposed a

shift :: Proposed a -> Int -> Proposed a

rotate :: Proposed a -> Int -> Proposed a

zeroBits :: Proposed a

bit :: Int -> Proposed a

setBit :: Proposed a -> Int -> Proposed a

clearBit :: Proposed a -> Int -> Proposed a

complementBit :: Proposed a -> Int -> Proposed a

testBit :: Proposed a -> Int -> Bool

bitSizeMaybe :: Proposed a -> Maybe Int

bitSize :: Proposed a -> Int

isSigned :: Proposed a -> Bool

shiftL :: Proposed a -> Int -> Proposed a

unsafeShiftL :: Proposed a -> Int -> Proposed a

shiftR :: Proposed a -> Int -> Proposed a

unsafeShiftR :: Proposed a -> Int -> Proposed a

rotateL :: Proposed a -> Int -> Proposed a

rotateR :: Proposed a -> Int -> Proposed a

popCount :: Proposed a -> Int

FiniteBits a => FiniteBits (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

finiteBitSize :: Proposed a -> Int

countLeadingZeros :: Proposed a -> Int

countTrailingZeros :: Proposed a -> Int

Default a => Default (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

def :: Proposed a

NFData a => NFData (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

rnf :: Proposed a -> ()

Random a => Random (Proposed a)

Defined in NewtypeZoo.Proposed

Methods

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

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

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

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

Generic1 Proposed

Defined in NewtypeZoo.Proposed

Associated Types

type Rep1 Proposed :: k -> Type

Methods

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

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

type Rep (Proposed a)

Defined in NewtypeZoo.Proposed

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

type Rep1 Proposed

Defined in NewtypeZoo.Proposed

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

_theProposed :: Proposed x -> x

theProposed :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Proposed a) (f (Proposed b))