Safe Haskell	None
Language	Haskell2010

NewtypeZoo.Marked

Description

Indicate that something is Marked.

Documentation

newtype Marked a Source #

Constructors

Marked a

Instances

Instances details

Monad Marked Source #
Instance details Defined in NewtypeZoo.Marked Methods (>>=) :: Marked a -> (a -> Marked b) -> Marked b # (>>) :: Marked a -> Marked b -> Marked b # return :: a -> Marked a #
Functor Marked Source #
Instance details Defined in NewtypeZoo.Marked Methods fmap :: (a -> b) -> Marked a -> Marked b # (<$) :: a -> Marked b -> Marked a #
MonadFix Marked Source #
Instance details Defined in NewtypeZoo.Marked Methods mfix :: (a -> Marked a) -> Marked a #
Applicative Marked Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in NewtypeZoo.Marked Methods liftEq :: (a -> b -> Bool) -> Marked a -> Marked b -> Bool #
Ord1 Marked Source #
Instance details Defined in NewtypeZoo.Marked Methods liftCompare :: (a -> b -> Ordering) -> Marked a -> Marked b -> Ordering #
Read1 Marked Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in NewtypeZoo.Marked Methods point :: a -> Marked a #
Copointed Marked Source #
Instance details Defined in NewtypeZoo.Marked Methods copoint :: Marked a -> a #
Bounded a => Bounded (Marked a) Source #
Instance details Defined in NewtypeZoo.Marked Methods minBound :: Marked a # maxBound :: Marked a #
Enum a => Enum (Marked a) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Marked Methods (==) :: Marked a -> Marked a -> Bool # (/=) :: Marked a -> Marked a -> Bool #
Floating a => Floating (Marked a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Marked Methods toRational :: Marked a -> Rational #
RealFloat a => RealFloat (Marked a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Marked Methods showsPrec :: Int -> Marked a -> ShowS # show :: Marked a -> String # showList :: [Marked a] -> ShowS #
Ix a => Ix (Marked a) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Marked Methods fromString :: String -> Marked a #
Generic (Marked a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Marked Methods arbitrary :: Gen (Marked a) # shrink :: Marked a -> [Marked a] #
Bits a => Bits (Marked a) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Marked Methods finiteBitSize :: Marked a -> Int # countLeadingZeros :: Marked a -> Int # countTrailingZeros :: Marked a -> Int #
Default a => Default (Marked a) Source #
Instance details Defined in NewtypeZoo.Marked Methods def :: Marked a #
NFData a => NFData (Marked a) Source #
Instance details Defined in NewtypeZoo.Marked Methods rnf :: Marked a -> () #
Random a => Random (Marked a) Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details 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 Source #

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