NewtypeZoo.Established

Indicate that something is Established.

Documentation

newtype Established a

Constructors

Established a

Instances

Monad Established

Defined in NewtypeZoo.Established

Methods

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

(>>) :: Established a -> Established b -> Established b

return :: a -> Established a

Functor Established

Defined in NewtypeZoo.Established

Methods

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

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

MonadFix Established

Defined in NewtypeZoo.Established

Methods

mfix :: (a -> Established a) -> Established a

Applicative Established

Defined in NewtypeZoo.Established

Methods

pure :: a -> Established a

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

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

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

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

Foldable Established

Defined in NewtypeZoo.Established

Methods

fold :: Monoid m => Established m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Established a -> a

foldl1 :: (a -> a -> a) -> Established a -> a

toList :: Established a -> [a]

null :: Established a -> Bool

length :: Established a -> Int

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

maximum :: Ord a => Established a -> a

minimum :: Ord a => Established a -> a

sum :: Num a => Established a -> a

product :: Num a => Established a -> a

Traversable Established

Defined in NewtypeZoo.Established

Methods

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

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

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

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

Eq1 Established

Defined in NewtypeZoo.Established

Methods

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

Ord1 Established

Defined in NewtypeZoo.Established

Methods

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

Read1 Established

Defined in NewtypeZoo.Established

Methods

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

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

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

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

Show1 Established

Defined in NewtypeZoo.Established

Methods

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

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

MonadZip Established

Defined in NewtypeZoo.Established

Methods

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

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

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

Pointed Established

Defined in NewtypeZoo.Established

Methods

point :: a -> Established a

Copointed Established

Defined in NewtypeZoo.Established

Methods

copoint :: Established a -> a

Bounded a => Bounded (Established a)

Defined in NewtypeZoo.Established

Methods

minBound :: Established a

maxBound :: Established a

Enum a => Enum (Established a)

Defined in NewtypeZoo.Established

Methods

succ :: Established a -> Established a

pred :: Established a -> Established a

toEnum :: Int -> Established a

fromEnum :: Established a -> Int

enumFrom :: Established a -> [Established a]

enumFromThen :: Established a -> Established a -> [Established a]

enumFromTo :: Established a -> Established a -> [Established a]

enumFromThenTo :: Established a -> Established a -> Established a -> [Established a]

Eq a => Eq (Established a)

Defined in NewtypeZoo.Established

Methods

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

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

Floating a => Floating (Established a)

Defined in NewtypeZoo.Established

Methods

pi :: Established a

exp :: Established a -> Established a

log :: Established a -> Established a

sqrt :: Established a -> Established a

(**) :: Established a -> Established a -> Established a

logBase :: Established a -> Established a -> Established a

sin :: Established a -> Established a

cos :: Established a -> Established a

tan :: Established a -> Established a

asin :: Established a -> Established a

acos :: Established a -> Established a

atan :: Established a -> Established a

sinh :: Established a -> Established a

cosh :: Established a -> Established a

tanh :: Established a -> Established a

asinh :: Established a -> Established a

acosh :: Established a -> Established a

atanh :: Established a -> Established a

log1p :: Established a -> Established a

expm1 :: Established a -> Established a

log1pexp :: Established a -> Established a

log1mexp :: Established a -> Established a

Fractional a => Fractional (Established a)

Defined in NewtypeZoo.Established

Methods

(/) :: Established a -> Established a -> Established a

recip :: Established a -> Established a

fromRational :: Rational -> Established a

Integral a => Integral (Established a)

Defined in NewtypeZoo.Established

Methods

quot :: Established a -> Established a -> Established a

rem :: Established a -> Established a -> Established a

div :: Established a -> Established a -> Established a

mod :: Established a -> Established a -> Established a

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

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

toInteger :: Established a -> Integer

Num a => Num (Established a)

Defined in NewtypeZoo.Established

Methods

(+) :: Established a -> Established a -> Established a

(-) :: Established a -> Established a -> Established a

(*) :: Established a -> Established a -> Established a

negate :: Established a -> Established a

abs :: Established a -> Established a

signum :: Established a -> Established a

fromInteger :: Integer -> Established a

Ord a => Ord (Established a)

Defined in NewtypeZoo.Established

Methods

compare :: Established a -> Established a -> Ordering

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

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

(>) :: Established a -> Established a -> Bool

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

max :: Established a -> Established a -> Established a

min :: Established a -> Established a -> Established a

Read a => Read (Established a)

Defined in NewtypeZoo.Established

Methods

readsPrec :: Int -> ReadS (Established a)

readList :: ReadS [Established a]

readPrec :: ReadPrec (Established a)

readListPrec :: ReadPrec [Established a]

Real a => Real (Established a)

Defined in NewtypeZoo.Established

Methods

toRational :: Established a -> Rational

RealFloat a => RealFloat (Established a)

Defined in NewtypeZoo.Established

Methods

floatRadix :: Established a -> Integer

floatDigits :: Established a -> Int

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

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

encodeFloat :: Integer -> Int -> Established a

exponent :: Established a -> Int

significand :: Established a -> Established a

scaleFloat :: Int -> Established a -> Established a

isNaN :: Established a -> Bool

isInfinite :: Established a -> Bool

isDenormalized :: Established a -> Bool

isNegativeZero :: Established a -> Bool

isIEEE :: Established a -> Bool

atan2 :: Established a -> Established a -> Established a

RealFrac a => RealFrac (Established a)

Defined in NewtypeZoo.Established

Methods

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

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

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

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

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

Show a => Show (Established a)

Defined in NewtypeZoo.Established

Methods

showsPrec :: Int -> Established a -> ShowS

show :: Established a -> String

showList :: [Established a] -> ShowS

Ix a => Ix (Established a)

Defined in NewtypeZoo.Established

Methods

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

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

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

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

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

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

IsString a => IsString (Established a)

Defined in NewtypeZoo.Established

Methods

fromString :: String -> Established a

Generic (Established a)

Defined in NewtypeZoo.Established

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Established a)

Defined in NewtypeZoo.Established

Methods

(<>) :: Established a -> Established a -> Established a

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

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

Monoid a => Monoid (Established a)

Defined in NewtypeZoo.Established

Methods

mempty :: Established a

mappend :: Established a -> Established a -> Established a

mconcat :: [Established a] -> Established a

Arbitrary a => Arbitrary (Established a)

Defined in NewtypeZoo.Established

Methods

arbitrary :: Gen (Established a)

shrink :: Established a -> [Established a]

Bits a => Bits (Established a)

Defined in NewtypeZoo.Established

Methods

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

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

xor :: Established a -> Established a -> Established a

complement :: Established a -> Established a

shift :: Established a -> Int -> Established a

rotate :: Established a -> Int -> Established a

zeroBits :: Established a

bit :: Int -> Established a

setBit :: Established a -> Int -> Established a

clearBit :: Established a -> Int -> Established a

complementBit :: Established a -> Int -> Established a

testBit :: Established a -> Int -> Bool

bitSizeMaybe :: Established a -> Maybe Int

bitSize :: Established a -> Int

isSigned :: Established a -> Bool

shiftL :: Established a -> Int -> Established a

unsafeShiftL :: Established a -> Int -> Established a

shiftR :: Established a -> Int -> Established a

unsafeShiftR :: Established a -> Int -> Established a

rotateL :: Established a -> Int -> Established a

rotateR :: Established a -> Int -> Established a

popCount :: Established a -> Int

FiniteBits a => FiniteBits (Established a)

Defined in NewtypeZoo.Established

Methods

finiteBitSize :: Established a -> Int

countLeadingZeros :: Established a -> Int

countTrailingZeros :: Established a -> Int

Default a => Default (Established a)

Defined in NewtypeZoo.Established

Methods

def :: Established a

NFData a => NFData (Established a)

Defined in NewtypeZoo.Established

Methods

rnf :: Established a -> ()

Random a => Random (Established a)

Defined in NewtypeZoo.Established

Methods

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

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

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

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

Generic1 Established

Defined in NewtypeZoo.Established

Associated Types

type Rep1 Established :: k -> Type

Methods

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

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

type Rep (Established a)

Defined in NewtypeZoo.Established

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

type Rep1 Established

Defined in NewtypeZoo.Established

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

_theEstablished :: Established x -> x

theEstablished :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Established a) (f (Established b))