NewtypeZoo.Unchecked

Indicate that something is Unchecked.

Documentation

newtype Unchecked a

Constructors

Unchecked a

Instances

Monad Unchecked

Defined in NewtypeZoo.Unchecked

Methods

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

(>>) :: Unchecked a -> Unchecked b -> Unchecked b

return :: a -> Unchecked a

Functor Unchecked

Defined in NewtypeZoo.Unchecked

Methods

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

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

MonadFix Unchecked

Defined in NewtypeZoo.Unchecked

Methods

mfix :: (a -> Unchecked a) -> Unchecked a

Applicative Unchecked

Defined in NewtypeZoo.Unchecked

Methods

pure :: a -> Unchecked a

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

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

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

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

Foldable Unchecked

Defined in NewtypeZoo.Unchecked

Methods

fold :: Monoid m => Unchecked m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Unchecked a -> a

foldl1 :: (a -> a -> a) -> Unchecked a -> a

toList :: Unchecked a -> [a]

null :: Unchecked a -> Bool

length :: Unchecked a -> Int

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

maximum :: Ord a => Unchecked a -> a

minimum :: Ord a => Unchecked a -> a

sum :: Num a => Unchecked a -> a

product :: Num a => Unchecked a -> a

Traversable Unchecked

Defined in NewtypeZoo.Unchecked

Methods

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

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

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

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

Eq1 Unchecked

Defined in NewtypeZoo.Unchecked

Methods

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

Ord1 Unchecked

Defined in NewtypeZoo.Unchecked

Methods

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

Read1 Unchecked

Defined in NewtypeZoo.Unchecked

Methods

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

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

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

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

Show1 Unchecked

Defined in NewtypeZoo.Unchecked

Methods

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

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

MonadZip Unchecked

Defined in NewtypeZoo.Unchecked

Methods

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

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

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

Pointed Unchecked

Defined in NewtypeZoo.Unchecked

Methods

point :: a -> Unchecked a

Copointed Unchecked

Defined in NewtypeZoo.Unchecked

Methods

copoint :: Unchecked a -> a

Bounded a => Bounded (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

minBound :: Unchecked a

maxBound :: Unchecked a

Enum a => Enum (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

succ :: Unchecked a -> Unchecked a

pred :: Unchecked a -> Unchecked a

toEnum :: Int -> Unchecked a

fromEnum :: Unchecked a -> Int

enumFrom :: Unchecked a -> [Unchecked a]

enumFromThen :: Unchecked a -> Unchecked a -> [Unchecked a]

enumFromTo :: Unchecked a -> Unchecked a -> [Unchecked a]

enumFromThenTo :: Unchecked a -> Unchecked a -> Unchecked a -> [Unchecked a]

Eq a => Eq (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

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

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

Floating a => Floating (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

pi :: Unchecked a

exp :: Unchecked a -> Unchecked a

log :: Unchecked a -> Unchecked a

sqrt :: Unchecked a -> Unchecked a

(**) :: Unchecked a -> Unchecked a -> Unchecked a

logBase :: Unchecked a -> Unchecked a -> Unchecked a

sin :: Unchecked a -> Unchecked a

cos :: Unchecked a -> Unchecked a

tan :: Unchecked a -> Unchecked a

asin :: Unchecked a -> Unchecked a

acos :: Unchecked a -> Unchecked a

atan :: Unchecked a -> Unchecked a

sinh :: Unchecked a -> Unchecked a

cosh :: Unchecked a -> Unchecked a

tanh :: Unchecked a -> Unchecked a

asinh :: Unchecked a -> Unchecked a

acosh :: Unchecked a -> Unchecked a

atanh :: Unchecked a -> Unchecked a

log1p :: Unchecked a -> Unchecked a

expm1 :: Unchecked a -> Unchecked a

log1pexp :: Unchecked a -> Unchecked a

log1mexp :: Unchecked a -> Unchecked a

Fractional a => Fractional (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

(/) :: Unchecked a -> Unchecked a -> Unchecked a

recip :: Unchecked a -> Unchecked a

fromRational :: Rational -> Unchecked a

Integral a => Integral (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

quot :: Unchecked a -> Unchecked a -> Unchecked a

rem :: Unchecked a -> Unchecked a -> Unchecked a

div :: Unchecked a -> Unchecked a -> Unchecked a

mod :: Unchecked a -> Unchecked a -> Unchecked a

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

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

toInteger :: Unchecked a -> Integer

Num a => Num (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

(+) :: Unchecked a -> Unchecked a -> Unchecked a

(-) :: Unchecked a -> Unchecked a -> Unchecked a

(*) :: Unchecked a -> Unchecked a -> Unchecked a

negate :: Unchecked a -> Unchecked a

abs :: Unchecked a -> Unchecked a

signum :: Unchecked a -> Unchecked a

fromInteger :: Integer -> Unchecked a

Ord a => Ord (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

compare :: Unchecked a -> Unchecked a -> Ordering

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

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

(>) :: Unchecked a -> Unchecked a -> Bool

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

max :: Unchecked a -> Unchecked a -> Unchecked a

min :: Unchecked a -> Unchecked a -> Unchecked a

Read a => Read (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

readsPrec :: Int -> ReadS (Unchecked a)

readList :: ReadS [Unchecked a]

readPrec :: ReadPrec (Unchecked a)

readListPrec :: ReadPrec [Unchecked a]

Real a => Real (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

toRational :: Unchecked a -> Rational

RealFloat a => RealFloat (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

floatRadix :: Unchecked a -> Integer

floatDigits :: Unchecked a -> Int

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

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

encodeFloat :: Integer -> Int -> Unchecked a

exponent :: Unchecked a -> Int

significand :: Unchecked a -> Unchecked a

scaleFloat :: Int -> Unchecked a -> Unchecked a

isNaN :: Unchecked a -> Bool

isInfinite :: Unchecked a -> Bool

isDenormalized :: Unchecked a -> Bool

isNegativeZero :: Unchecked a -> Bool

isIEEE :: Unchecked a -> Bool

atan2 :: Unchecked a -> Unchecked a -> Unchecked a

RealFrac a => RealFrac (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

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

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

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

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

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

Show a => Show (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

showsPrec :: Int -> Unchecked a -> ShowS

show :: Unchecked a -> String

showList :: [Unchecked a] -> ShowS

Ix a => Ix (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

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

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

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

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

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

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

IsString a => IsString (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

fromString :: String -> Unchecked a

Generic (Unchecked a)

Defined in NewtypeZoo.Unchecked

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

(<>) :: Unchecked a -> Unchecked a -> Unchecked a

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

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

Monoid a => Monoid (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

mempty :: Unchecked a

mappend :: Unchecked a -> Unchecked a -> Unchecked a

mconcat :: [Unchecked a] -> Unchecked a

Arbitrary a => Arbitrary (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

arbitrary :: Gen (Unchecked a)

shrink :: Unchecked a -> [Unchecked a]

Bits a => Bits (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

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

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

xor :: Unchecked a -> Unchecked a -> Unchecked a

complement :: Unchecked a -> Unchecked a

shift :: Unchecked a -> Int -> Unchecked a

rotate :: Unchecked a -> Int -> Unchecked a

zeroBits :: Unchecked a

bit :: Int -> Unchecked a

setBit :: Unchecked a -> Int -> Unchecked a

clearBit :: Unchecked a -> Int -> Unchecked a

complementBit :: Unchecked a -> Int -> Unchecked a

testBit :: Unchecked a -> Int -> Bool

bitSizeMaybe :: Unchecked a -> Maybe Int

bitSize :: Unchecked a -> Int

isSigned :: Unchecked a -> Bool

shiftL :: Unchecked a -> Int -> Unchecked a

unsafeShiftL :: Unchecked a -> Int -> Unchecked a

shiftR :: Unchecked a -> Int -> Unchecked a

unsafeShiftR :: Unchecked a -> Int -> Unchecked a

rotateL :: Unchecked a -> Int -> Unchecked a

rotateR :: Unchecked a -> Int -> Unchecked a

popCount :: Unchecked a -> Int

FiniteBits a => FiniteBits (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

finiteBitSize :: Unchecked a -> Int

countLeadingZeros :: Unchecked a -> Int

countTrailingZeros :: Unchecked a -> Int

Default a => Default (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

def :: Unchecked a

NFData a => NFData (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

rnf :: Unchecked a -> ()

Random a => Random (Unchecked a)

Defined in NewtypeZoo.Unchecked

Methods

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

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

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

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

Generic1 Unchecked

Defined in NewtypeZoo.Unchecked

Associated Types

type Rep1 Unchecked :: k -> Type

Methods

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

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

type Rep (Unchecked a)

Defined in NewtypeZoo.Unchecked

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

type Rep1 Unchecked

Defined in NewtypeZoo.Unchecked

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

_theUnchecked :: Unchecked x -> x

theUnchecked :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Unchecked a) (f (Unchecked b))