NewtypeZoo.Marked

Indicate that something is Marked.

Documentation

newtype Marked a

Constructors

Marked a

Instances

Monad Marked

Defined in NewtypeZoo.Marked

Methods

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

(>>) :: Marked a -> Marked b -> Marked b

return :: a -> Marked a

Functor Marked

Defined in NewtypeZoo.Marked

Methods

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

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

MonadFix Marked

Defined in NewtypeZoo.Marked

Methods

mfix :: (a -> Marked a) -> Marked a

Applicative Marked

Defined in NewtypeZoo.Marked

Methods

pure :: a -> Marked a

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

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

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

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

Foldable Marked

Defined in NewtypeZoo.Marked

Methods

fold :: Monoid m => Marked m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Marked a -> a

foldl1 :: (a -> a -> a) -> Marked a -> a

toList :: Marked a -> [a]

null :: Marked a -> Bool

length :: Marked a -> Int

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

maximum :: Ord a => Marked a -> a

minimum :: Ord a => Marked a -> a

sum :: Num a => Marked a -> a

product :: Num a => Marked a -> a

Traversable Marked

Defined in NewtypeZoo.Marked

Methods

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

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

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

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

Eq1 Marked

Defined in NewtypeZoo.Marked

Methods

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

Ord1 Marked

Defined in NewtypeZoo.Marked

Methods

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

Read1 Marked

Defined in NewtypeZoo.Marked

Methods

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

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

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

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

Show1 Marked

Defined in NewtypeZoo.Marked

Methods

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

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

MonadZip Marked

Defined in NewtypeZoo.Marked

Methods

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

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

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

Pointed Marked

Defined in NewtypeZoo.Marked

Methods

point :: a -> Marked a

Copointed Marked

Defined in NewtypeZoo.Marked

Methods

copoint :: Marked a -> a

Bounded a => Bounded (Marked a)

Defined in NewtypeZoo.Marked

Methods

minBound :: Marked a

maxBound :: Marked a

Enum a => Enum (Marked a)

Defined in NewtypeZoo.Marked

Methods

succ :: Marked a -> Marked a

pred :: Marked a -> Marked a

toEnum :: Int -> Marked a

fromEnum :: Marked a -> Int

enumFrom :: Marked a -> [Marked a]

enumFromThen :: Marked a -> Marked a -> [Marked a]

enumFromTo :: Marked a -> Marked a -> [Marked a]

enumFromThenTo :: Marked a -> Marked a -> Marked a -> [Marked a]

Eq a => Eq (Marked a)

Defined in NewtypeZoo.Marked

Methods

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

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

Floating a => Floating (Marked a)

Defined in NewtypeZoo.Marked

Methods

pi :: Marked a

exp :: Marked a -> Marked a

log :: Marked a -> Marked a

sqrt :: Marked a -> Marked a

(**) :: Marked a -> Marked a -> Marked a

logBase :: Marked a -> Marked a -> Marked a

sin :: Marked a -> Marked a

cos :: Marked a -> Marked a

tan :: Marked a -> Marked a

asin :: Marked a -> Marked a

acos :: Marked a -> Marked a

atan :: Marked a -> Marked a

sinh :: Marked a -> Marked a

cosh :: Marked a -> Marked a

tanh :: Marked a -> Marked a

asinh :: Marked a -> Marked a

acosh :: Marked a -> Marked a

atanh :: Marked a -> Marked a

log1p :: Marked a -> Marked a

expm1 :: Marked a -> Marked a

log1pexp :: Marked a -> Marked a

log1mexp :: Marked a -> Marked a

Fractional a => Fractional (Marked a)

Defined in NewtypeZoo.Marked

Methods

(/) :: Marked a -> Marked a -> Marked a

recip :: Marked a -> Marked a

fromRational :: Rational -> Marked a

Integral a => Integral (Marked a)

Defined in NewtypeZoo.Marked

Methods

quot :: Marked a -> Marked a -> Marked a

rem :: Marked a -> Marked a -> Marked a

div :: Marked a -> Marked a -> Marked a

mod :: Marked a -> Marked a -> Marked a

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

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

toInteger :: Marked a -> Integer

Num a => Num (Marked a)

Defined in NewtypeZoo.Marked

Methods

(+) :: Marked a -> Marked a -> Marked a

(-) :: Marked a -> Marked a -> Marked a

(*) :: Marked a -> Marked a -> Marked a

negate :: Marked a -> Marked a

abs :: Marked a -> Marked a

signum :: Marked a -> Marked a

fromInteger :: Integer -> Marked a

Ord a => Ord (Marked a)

Defined in NewtypeZoo.Marked

Methods

compare :: Marked a -> Marked a -> Ordering

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

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

(>) :: Marked a -> Marked a -> Bool

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

max :: Marked a -> Marked a -> Marked a

min :: Marked a -> Marked a -> Marked a

Read a => Read (Marked a)

Defined in NewtypeZoo.Marked

Methods

readsPrec :: Int -> ReadS (Marked a)

readList :: ReadS [Marked a]

readPrec :: ReadPrec (Marked a)

readListPrec :: ReadPrec [Marked a]

Real a => Real (Marked a)

Defined in NewtypeZoo.Marked

Methods

toRational :: Marked a -> Rational

RealFloat a => RealFloat (Marked a)

Defined in NewtypeZoo.Marked

Methods

floatRadix :: Marked a -> Integer

floatDigits :: Marked a -> Int

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

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

encodeFloat :: Integer -> Int -> Marked a

exponent :: Marked a -> Int

significand :: Marked a -> Marked a

scaleFloat :: Int -> Marked a -> Marked a

isNaN :: Marked a -> Bool

isInfinite :: Marked a -> Bool

isDenormalized :: Marked a -> Bool

isNegativeZero :: Marked a -> Bool

isIEEE :: Marked a -> Bool

atan2 :: Marked a -> Marked a -> Marked a

RealFrac a => RealFrac (Marked a)

Defined in NewtypeZoo.Marked

Methods

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

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

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

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

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

Show a => Show (Marked a)

Defined in NewtypeZoo.Marked

Methods

showsPrec :: Int -> Marked a -> ShowS

show :: Marked a -> String

showList :: [Marked a] -> ShowS

Ix a => Ix (Marked a)

Defined in NewtypeZoo.Marked

Methods

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

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

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

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

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

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

IsString a => IsString (Marked a)

Defined in NewtypeZoo.Marked

Methods

fromString :: String -> Marked a

Generic (Marked a)

Defined in NewtypeZoo.Marked

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Marked a)

Defined in NewtypeZoo.Marked

Methods

(<>) :: Marked a -> Marked a -> Marked a

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

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

Monoid a => Monoid (Marked a)

Defined in NewtypeZoo.Marked

Methods

mempty :: Marked a

mappend :: Marked a -> Marked a -> Marked a

mconcat :: [Marked a] -> Marked a

Arbitrary a => Arbitrary (Marked a)

Defined in NewtypeZoo.Marked

Methods

arbitrary :: Gen (Marked a)

shrink :: Marked a -> [Marked a]

Bits a => Bits (Marked a)

Defined in NewtypeZoo.Marked

Methods

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

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

xor :: Marked a -> Marked a -> Marked a

complement :: Marked a -> Marked a

shift :: Marked a -> Int -> Marked a

rotate :: Marked a -> Int -> Marked a

zeroBits :: Marked a

bit :: Int -> Marked a

setBit :: Marked a -> Int -> Marked a

clearBit :: Marked a -> Int -> Marked a

complementBit :: Marked a -> Int -> Marked a

testBit :: Marked a -> Int -> Bool

bitSizeMaybe :: Marked a -> Maybe Int

bitSize :: Marked a -> Int

isSigned :: Marked a -> Bool

shiftL :: Marked a -> Int -> Marked a

unsafeShiftL :: Marked a -> Int -> Marked a

shiftR :: Marked a -> Int -> Marked a

unsafeShiftR :: Marked a -> Int -> Marked a

rotateL :: Marked a -> Int -> Marked a

rotateR :: Marked a -> Int -> Marked a

popCount :: Marked a -> Int

FiniteBits a => FiniteBits (Marked a)

Defined in NewtypeZoo.Marked

Methods

finiteBitSize :: Marked a -> Int

countLeadingZeros :: Marked a -> Int

countTrailingZeros :: Marked a -> Int

Default a => Default (Marked a)

Defined in NewtypeZoo.Marked

Methods

def :: Marked a

NFData a => NFData (Marked a)

Defined in NewtypeZoo.Marked

Methods

rnf :: Marked a -> ()

Random a => Random (Marked a)

Defined in NewtypeZoo.Marked

Methods

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

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

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

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

Generic1 Marked

Defined in NewtypeZoo.Marked

Associated Types

type Rep1 Marked :: k -> Type

Methods

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

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

type Rep (Marked a)

Defined in NewtypeZoo.Marked

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

type Rep1 Marked

Defined in NewtypeZoo.Marked

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

_theMarked :: Marked x -> x

theMarked :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Marked a) (f (Marked b))