newtype-zoo-1.1.0.0: Newtype Wrapper Zoo

Safe HaskellNone
LanguageHaskell2010

NewtypeZoo.Unchecked

Description

Indicate that something is Unchecked.

Documentation

newtype Unchecked a Source #

Constructors

Unchecked a 
Instances
Monad Unchecked Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

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

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

return :: a -> Unchecked a #

fail :: String -> Unchecked a #

Functor Unchecked Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

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

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

MonadFix Unchecked Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

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

Applicative Unchecked Source # 
Instance details

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 Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

fold :: Monoid m => Unchecked m -> 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 Source # 
Instance details

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 Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

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

Ord1 Unchecked Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

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

Read1 Unchecked Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Show1 Unchecked Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

point :: a -> Unchecked a #

Copointed Unchecked Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

copoint :: Unchecked a -> a #

Bounded a => Bounded (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Enum a => Enum (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Eq a => Eq (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

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

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

Floating a => Floating (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Fractional a => Fractional (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Integral a => Integral (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Num a => Num (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Ord a => Ord (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Read a => Read (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Real a => Real (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

RealFloat a => RealFloat (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

RealFrac a => RealFrac (Unchecked a) Source # 
Instance details

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) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Ix a => Ix (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

IsString a => IsString (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

fromString :: String -> Unchecked a #

Generic (Unchecked a) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Arbitrary a => Arbitrary (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

arbitrary :: Gen (Unchecked a) #

shrink :: Unchecked a -> [Unchecked a] #

Bits a => Bits (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

FiniteBits a => FiniteBits (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Default a => Default (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

def :: Unchecked a #

NFData a => NFData (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Methods

rnf :: Unchecked a -> () #

Random a => Random (Unchecked a) Source # 
Instance details

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] #

randomRIO :: (Unchecked a, Unchecked a) -> IO (Unchecked a) #

randomIO :: IO (Unchecked a) #

Generic1 Unchecked Source # 
Instance details

Defined in NewtypeZoo.Unchecked

Associated Types

type Rep1 Unchecked :: k -> Type #

type Rep (Unchecked a) Source # 
Instance details

Defined in NewtypeZoo.Unchecked

type Rep (Unchecked a) = D1 (MetaData "Unchecked" "NewtypeZoo.Unchecked" "newtype-zoo-1.1.0.0-Ax7CodmSe5a620hcbx2lu9" True) (C1 (MetaCons "Unchecked" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
type Rep1 Unchecked Source # 
Instance details

Defined in NewtypeZoo.Unchecked

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

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