Copyright	(c) axionbuster 2025
License	BSD-3-Clause
Safe Haskell	None
Language	GHC2021

M.Pack.Internal.Newtypes

Description

Defines newtype wrappers that control how values are packed and unpacked, including enum indices, fixed-point numbers, angles, and identifiers.

Synopsis

newtype EnumIndex (i :: k) a = EnumIndex {
- enumindex :: a
}
newtype Fixed' (i :: k) (r :: k1) f = Fixed' {
- unfixed' :: f
}
newtype Int8Angle = Int8Angle {
- int8angle :: Int8
}
newtype Identifier = Identifier {
- identifier :: Text
}
newtype IDorX a = IDorX {
- idorvalue :: Either Int32 a
}
newtype IDSet = IDSet {
- setnameorids :: Either Text (Vector Int32)
}
newtype TakeRest = TakeRest {
- gettakerest :: ByteString
}
newtype PackFoldableVI (f :: k -> Type) (a :: k) = PackFoldableVI {
- getpackfoldablevi :: f a
}
newtype PackFoldable0 (f :: k -> Type) (a :: k) = PackFoldable0 {
- getpackfoldable0 :: f a
}
newtype UnpackRepresentable0 (f :: k -> Type) (a :: k) = UnpackRepresentable0 {
- getunpackrepresentable0 :: f a
}
degtoi8angle :: RealFrac a => a -> Int8Angle
i8angledeg :: RealFrac a => Int8Angle -> a

Documentation

newtype EnumIndex (i :: k) a Source #

represent any Enum type using a zero-based index

Constructors

EnumIndex
Fields enumindex :: a

Instances

Instances details

Lift a => Lift (EnumIndex i a :: Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

lift :: Quote m => EnumIndex i a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => EnumIndex i a -> Code m (EnumIndex i a) #

Functor (EnumIndex i) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fmap :: (a -> b) -> EnumIndex i a -> EnumIndex i b #

(<$) :: a -> EnumIndex i b -> EnumIndex i a #

(Typeable i, Typeable k, Data a) => Data (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumIndex i a -> c (EnumIndex i a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (EnumIndex i a) #

toConstr :: EnumIndex i a -> Constr #

dataTypeOf :: EnumIndex i a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (EnumIndex i a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (EnumIndex i a)) #

gmapT :: (forall b. Data b => b -> b) -> EnumIndex i a -> EnumIndex i a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumIndex i a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumIndex i a -> r #

gmapQ :: (forall d. Data d => d -> u) -> EnumIndex i a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumIndex i a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumIndex i a -> m (EnumIndex i a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumIndex i a -> m (EnumIndex i a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumIndex i a -> m (EnumIndex i a) #

Bounded a => Bounded (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

minBound :: EnumIndex i a #

maxBound :: EnumIndex i a #

Enum a => Enum (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

succ :: EnumIndex i a -> EnumIndex i a #

pred :: EnumIndex i a -> EnumIndex i a #

toEnum :: Int -> EnumIndex i a #

fromEnum :: EnumIndex i a -> Int #

enumFrom :: EnumIndex i a -> [EnumIndex i a] #

enumFromThen :: EnumIndex i a -> EnumIndex i a -> [EnumIndex i a] #

enumFromTo :: EnumIndex i a -> EnumIndex i a -> [EnumIndex i a] #

enumFromThenTo :: EnumIndex i a -> EnumIndex i a -> EnumIndex i a -> [EnumIndex i a] #

Generic (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep (EnumIndex i a)
Instance details Defined in M.Pack.Internal.Newtypes type Rep (EnumIndex i a) = D1 ('MetaData "EnumIndex" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "EnumIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumindex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: EnumIndex i a -> Rep (EnumIndex i a) x #

to :: Rep (EnumIndex i a) x -> EnumIndex i a #

Read a => Read (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS (EnumIndex i a) #

readList :: ReadS [EnumIndex i a] #

readPrec :: ReadPrec (EnumIndex i a) #

readListPrec :: ReadPrec [EnumIndex i a] #

Show a => Show (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> EnumIndex i a -> ShowS #

show :: EnumIndex i a -> String #

showList :: [EnumIndex i a] -> ShowS #

NFData a => NFData (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: EnumIndex i a -> () #

Eq a => Eq (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(==) :: EnumIndex i a -> EnumIndex i a -> Bool #

(/=) :: EnumIndex i a -> EnumIndex i a -> Bool #

Ord a => Ord (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: EnumIndex i a -> EnumIndex i a -> Ordering #

(<) :: EnumIndex i a -> EnumIndex i a -> Bool #

(<=) :: EnumIndex i a -> EnumIndex i a -> Bool #

(>) :: EnumIndex i a -> EnumIndex i a -> Bool #

(>=) :: EnumIndex i a -> EnumIndex i a -> Bool #

max :: EnumIndex i a -> EnumIndex i a -> EnumIndex i a #

min :: EnumIndex i a -> EnumIndex i a -> EnumIndex i a #

Hashable a => Hashable (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

hashWithSalt :: Int -> EnumIndex i a -> Int

hash :: EnumIndex i a -> Int

(Enum a, Integral i, Pack i) => Pack (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pack :: EnumIndex i a -> Builder Source #

(Enum a, Bounded a, Integral i, Unpack i) => Unpack (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

unpack :: forall (st :: ZeroBitType) r. Parser st r (EnumIndex i a) Source #

type Rep (EnumIndex i a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep (EnumIndex i a) = D1 ('MetaData "EnumIndex" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "EnumIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumindex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Fixed' (i :: k) (r :: k1) f Source #

use an integer type i for serialization of a fixed-point number with resolution r (see HasResolution, Fixed), with underlying numeric representation f

Constructors

Fixed'
Fields unfixed' :: f

Instances

Instances details

Lift f => Lift (Fixed' i r f :: Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

lift :: Quote m => Fixed' i r f -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Fixed' i r f -> Code m (Fixed' i r f) #

(Typeable i, Typeable r, Typeable k1, Typeable k2, Data f) => Data (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fixed' i r f -> c (Fixed' i r f) #

gunfold :: (forall b r0. Data b => c (b -> r0) -> c r0) -> (forall r1. r1 -> c r1) -> Constr -> c (Fixed' i r f) #

toConstr :: Fixed' i r f -> Constr #

dataTypeOf :: Fixed' i r f -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Fixed' i r f)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Fixed' i r f)) #

gmapT :: (forall b. Data b => b -> b) -> Fixed' i r f -> Fixed' i r f #

gmapQl :: (r0 -> r' -> r0) -> r0 -> (forall d. Data d => d -> r') -> Fixed' i r f -> r0 #

gmapQr :: forall r0 r'. (r' -> r0 -> r0) -> r0 -> (forall d. Data d => d -> r') -> Fixed' i r f -> r0 #

gmapQ :: (forall d. Data d => d -> u) -> Fixed' i r f -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Fixed' i r f -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fixed' i r f -> m (Fixed' i r f) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed' i r f -> m (Fixed' i r f) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed' i r f -> m (Fixed' i r f) #

Enum f => Enum (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

succ :: Fixed' i r f -> Fixed' i r f #

pred :: Fixed' i r f -> Fixed' i r f #

toEnum :: Int -> Fixed' i r f #

fromEnum :: Fixed' i r f -> Int #

enumFrom :: Fixed' i r f -> [Fixed' i r f] #

enumFromThen :: Fixed' i r f -> Fixed' i r f -> [Fixed' i r f] #

enumFromTo :: Fixed' i r f -> Fixed' i r f -> [Fixed' i r f] #

enumFromThenTo :: Fixed' i r f -> Fixed' i r f -> Fixed' i r f -> [Fixed' i r f] #

Generic (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep (Fixed' i r f)
Instance details Defined in M.Pack.Internal.Newtypes type Rep (Fixed' i r f) = D1 ('MetaData "Fixed'" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "Fixed'" 'PrefixI 'True) (S1 ('MetaSel ('Just "unfixed'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 f)))

Methods

from :: Fixed' i r f -> Rep (Fixed' i r f) x #

to :: Rep (Fixed' i r f) x -> Fixed' i r f #

Num f => Num (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(+) :: Fixed' i r f -> Fixed' i r f -> Fixed' i r f #

(-) :: Fixed' i r f -> Fixed' i r f -> Fixed' i r f #

(*) :: Fixed' i r f -> Fixed' i r f -> Fixed' i r f #

negate :: Fixed' i r f -> Fixed' i r f #

abs :: Fixed' i r f -> Fixed' i r f #

signum :: Fixed' i r f -> Fixed' i r f #

fromInteger :: Integer -> Fixed' i r f #

Read f => Read (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS (Fixed' i r f) #

readList :: ReadS [Fixed' i r f] #

readPrec :: ReadPrec (Fixed' i r f) #

readListPrec :: ReadPrec [Fixed' i r f] #

Fractional f => Fractional (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(/) :: Fixed' i r f -> Fixed' i r f -> Fixed' i r f #

recip :: Fixed' i r f -> Fixed' i r f #

fromRational :: Rational -> Fixed' i r f #

Real f => Real (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

toRational :: Fixed' i r f -> Rational #

RealFrac f => RealFrac (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

properFraction :: Integral b => Fixed' i r f -> (b, Fixed' i r f) #

truncate :: Integral b => Fixed' i r f -> b #

round :: Integral b => Fixed' i r f -> b #

ceiling :: Integral b => Fixed' i r f -> b #

floor :: Integral b => Fixed' i r f -> b #

Show f => Show (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> Fixed' i r f -> ShowS #

show :: Fixed' i r f -> String #

showList :: [Fixed' i r f] -> ShowS #

NFData f => NFData (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: Fixed' i r f -> () #

Eq f => Eq (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(==) :: Fixed' i r f -> Fixed' i r f -> Bool #

(/=) :: Fixed' i r f -> Fixed' i r f -> Bool #

Ord f => Ord (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: Fixed' i r f -> Fixed' i r f -> Ordering #

(<) :: Fixed' i r f -> Fixed' i r f -> Bool #

(<=) :: Fixed' i r f -> Fixed' i r f -> Bool #

(>) :: Fixed' i r f -> Fixed' i r f -> Bool #

(>=) :: Fixed' i r f -> Fixed' i r f -> Bool #

max :: Fixed' i r f -> Fixed' i r f -> Fixed' i r f #

min :: Fixed' i r f -> Fixed' i r f -> Fixed' i r f #

Hashable f => Hashable (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

hashWithSalt :: Int -> Fixed' i r f -> Int

hash :: Fixed' i r f -> Int

(Integral i, Pack i, Real f, HasResolution r) => Pack (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pack :: Fixed' i r f -> Builder Source #

(Integral i, Unpack i, Fractional f, HasResolution r) => Unpack (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

unpack :: forall (st :: ZeroBitType) r0. Parser st r0 (Fixed' i r f) Source #

type Rep (Fixed' i r f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep (Fixed' i r f) = D1 ('MetaData "Fixed'" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "Fixed'" 'PrefixI 'True) (S1 ('MetaSel ('Just "unfixed'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 f)))

newtype Int8Angle Source #

a signed angle; divides the circle into 256 parts

Constructors

Int8Angle
Fields int8angle :: Int8

Instances

Instances details

Data Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int8Angle -> c Int8Angle #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int8Angle #

toConstr :: Int8Angle -> Constr #

dataTypeOf :: Int8Angle -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int8Angle) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int8Angle) #

gmapT :: (forall b. Data b => b -> b) -> Int8Angle -> Int8Angle #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int8Angle -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int8Angle -> r #

gmapQ :: (forall d. Data d => d -> u) -> Int8Angle -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int8Angle -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int8Angle -> m Int8Angle #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int8Angle -> m Int8Angle #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int8Angle -> m Int8Angle #

Enum Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

succ :: Int8Angle -> Int8Angle #

pred :: Int8Angle -> Int8Angle #

toEnum :: Int -> Int8Angle #

fromEnum :: Int8Angle -> Int #

enumFrom :: Int8Angle -> [Int8Angle] #

enumFromThen :: Int8Angle -> Int8Angle -> [Int8Angle] #

enumFromTo :: Int8Angle -> Int8Angle -> [Int8Angle] #

enumFromThenTo :: Int8Angle -> Int8Angle -> Int8Angle -> [Int8Angle] #

Generic Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep Int8Angle
Instance details Defined in M.Pack.Internal.Newtypes type Rep Int8Angle = D1 ('MetaData "Int8Angle" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "Int8Angle" 'PrefixI 'True) (S1 ('MetaSel ('Just "int8angle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8)))

Methods

from :: Int8Angle -> Rep Int8Angle x #

to :: Rep Int8Angle x -> Int8Angle #

Num Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(+) :: Int8Angle -> Int8Angle -> Int8Angle #

(-) :: Int8Angle -> Int8Angle -> Int8Angle #

(*) :: Int8Angle -> Int8Angle -> Int8Angle #

negate :: Int8Angle -> Int8Angle #

abs :: Int8Angle -> Int8Angle #

signum :: Int8Angle -> Int8Angle #

fromInteger :: Integer -> Int8Angle #

Read Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS Int8Angle #

readList :: ReadS [Int8Angle] #

readPrec :: ReadPrec Int8Angle #

readListPrec :: ReadPrec [Int8Angle] #

Integral Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

quot :: Int8Angle -> Int8Angle -> Int8Angle #

rem :: Int8Angle -> Int8Angle -> Int8Angle #

div :: Int8Angle -> Int8Angle -> Int8Angle #

mod :: Int8Angle -> Int8Angle -> Int8Angle #

quotRem :: Int8Angle -> Int8Angle -> (Int8Angle, Int8Angle) #

divMod :: Int8Angle -> Int8Angle -> (Int8Angle, Int8Angle) #

toInteger :: Int8Angle -> Integer #

Real Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

toRational :: Int8Angle -> Rational #

Show Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> Int8Angle -> ShowS #

show :: Int8Angle -> String #

showList :: [Int8Angle] -> ShowS #

NFData Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: Int8Angle -> () #

Eq Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(==) :: Int8Angle -> Int8Angle -> Bool #

(/=) :: Int8Angle -> Int8Angle -> Bool #

Ord Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: Int8Angle -> Int8Angle -> Ordering #

(<) :: Int8Angle -> Int8Angle -> Bool #

(<=) :: Int8Angle -> Int8Angle -> Bool #

(>) :: Int8Angle -> Int8Angle -> Bool #

(>=) :: Int8Angle -> Int8Angle -> Bool #

max :: Int8Angle -> Int8Angle -> Int8Angle #

min :: Int8Angle -> Int8Angle -> Int8Angle #

Hashable Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

hashWithSalt :: Int -> Int8Angle -> Int

hash :: Int8Angle -> Int

Pack Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pack :: Int8Angle -> Builder Source #

Unpack Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

unpack :: forall (st :: ZeroBitType) r. Parser st r Int8Angle Source #

Lift Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

lift :: Quote m => Int8Angle -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Int8Angle -> Code m Int8Angle #

type Rep Int8Angle Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep Int8Angle = D1 ('MetaData "Int8Angle" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "Int8Angle" 'PrefixI 'True) (S1 ('MetaSel ('Just "int8angle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8)))

newtype Identifier Source #

an "identifier" string, used for names, tags, etc.

example: minecraft:stone or stone/stone

validation only happens when unpacking (unpack)

Constructors

Identifier
Fields identifier :: Text

Instances

Instances details

Data Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Identifier -> c Identifier #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Identifier #

toConstr :: Identifier -> Constr #

dataTypeOf :: Identifier -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Identifier) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Identifier) #

gmapT :: (forall b. Data b => b -> b) -> Identifier -> Identifier #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r #

gmapQ :: (forall d. Data d => d -> u) -> Identifier -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Identifier -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier #

IsString Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fromString :: String -> Identifier #

Monoid Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

mempty :: Identifier #

mappend :: Identifier -> Identifier -> Identifier #

mconcat :: [Identifier] -> Identifier #

Semigroup Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(<>) :: Identifier -> Identifier -> Identifier #

sconcat :: NonEmpty Identifier -> Identifier #

stimes :: Integral b => b -> Identifier -> Identifier #

Generic Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep Identifier
Instance details Defined in M.Pack.Internal.Newtypes type Rep Identifier = D1 ('MetaData "Identifier" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "Identifier" 'PrefixI 'True) (S1 ('MetaSel ('Just "identifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: Identifier -> Rep Identifier x #

to :: Rep Identifier x -> Identifier #

Read Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS Identifier #

readList :: ReadS [Identifier] #

readPrec :: ReadPrec Identifier #

readListPrec :: ReadPrec [Identifier] #

Show Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> Identifier -> ShowS #

show :: Identifier -> String #

showList :: [Identifier] -> ShowS #

NFData Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: Identifier -> () #

Eq Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(==) :: Identifier -> Identifier -> Bool #

(/=) :: Identifier -> Identifier -> Bool #

Ord Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: Identifier -> Identifier -> Ordering #

(<) :: Identifier -> Identifier -> Bool #

(<=) :: Identifier -> Identifier -> Bool #

(>) :: Identifier -> Identifier -> Bool #

(>=) :: Identifier -> Identifier -> Bool #

max :: Identifier -> Identifier -> Identifier #

min :: Identifier -> Identifier -> Identifier #

Hashable Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

hashWithSalt :: Int -> Identifier -> Int

hash :: Identifier -> Int

Pack Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pack :: Identifier -> Builder Source #

Unpack Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

unpack :: forall (st :: ZeroBitType) r. Parser st r Identifier Source #

Lift Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

lift :: Quote m => Identifier -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Identifier -> Code m Identifier #

type Rep Identifier Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep Identifier = D1 ('MetaData "Identifier" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "Identifier" 'PrefixI 'True) (S1 ('MetaSel ('Just "identifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype IDorX a Source #

unresolved value; either an ID or an inline value

Constructors

IDorX
Fields idorvalue :: Either Int32 a VarInt ID (NOT +1) or inline value

Instances

Instances details

Foldable IDorX Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fold :: Monoid m => IDorX m -> m #

foldMap :: Monoid m => (a -> m) -> IDorX a -> m #

foldMap' :: Monoid m => (a -> m) -> IDorX a -> m #

foldr :: (a -> b -> b) -> b -> IDorX a -> b #

foldr' :: (a -> b -> b) -> b -> IDorX a -> b #

foldl :: (b -> a -> b) -> b -> IDorX a -> b #

foldl' :: (b -> a -> b) -> b -> IDorX a -> b #

foldr1 :: (a -> a -> a) -> IDorX a -> a #

foldl1 :: (a -> a -> a) -> IDorX a -> a #

toList :: IDorX a -> [a] #

null :: IDorX a -> Bool #

length :: IDorX a -> Int #

elem :: Eq a => a -> IDorX a -> Bool #

maximum :: Ord a => IDorX a -> a #

minimum :: Ord a => IDorX a -> a #

sum :: Num a => IDorX a -> a #

product :: Num a => IDorX a -> a #

Applicative IDorX Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pure :: a -> IDorX a #

(<*>) :: IDorX (a -> b) -> IDorX a -> IDorX b #

liftA2 :: (a -> b -> c) -> IDorX a -> IDorX b -> IDorX c #

(*>) :: IDorX a -> IDorX b -> IDorX b #

(<*) :: IDorX a -> IDorX b -> IDorX a #

Functor IDorX Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

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

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

Monad IDorX Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

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

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

return :: a -> IDorX a #

Lift a => Lift (IDorX a :: Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

lift :: Quote m => IDorX a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => IDorX a -> Code m (IDorX a) #

Data a => Data (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IDorX a -> c (IDorX a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (IDorX a) #

toConstr :: IDorX a -> Constr #

dataTypeOf :: IDorX a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (IDorX a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (IDorX a)) #

gmapT :: (forall b. Data b => b -> b) -> IDorX a -> IDorX a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IDorX a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IDorX a -> r #

gmapQ :: (forall d. Data d => d -> u) -> IDorX a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> IDorX a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IDorX a -> m (IDorX a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IDorX a -> m (IDorX a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IDorX a -> m (IDorX a) #

Semigroup (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(<>) :: IDorX a -> IDorX a -> IDorX a #

sconcat :: NonEmpty (IDorX a) -> IDorX a #

stimes :: Integral b => b -> IDorX a -> IDorX a #

Generic (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep (IDorX a)
Instance details Defined in M.Pack.Internal.Newtypes type Rep (IDorX a) = D1 ('MetaData "IDorX" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "IDorX" 'PrefixI 'True) (S1 ('MetaSel ('Just "idorvalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Int32 a))))

Methods

from :: IDorX a -> Rep (IDorX a) x #

to :: Rep (IDorX a) x -> IDorX a #

Read a => Read (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS (IDorX a) #

readList :: ReadS [IDorX a] #

readPrec :: ReadPrec (IDorX a) #

readListPrec :: ReadPrec [IDorX a] #

Show a => Show (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> IDorX a -> ShowS #

show :: IDorX a -> String #

showList :: [IDorX a] -> ShowS #

NFData a => NFData (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: IDorX a -> () #

Eq a => Eq (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

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

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

Ord a => Ord (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: IDorX a -> IDorX a -> Ordering #

(<) :: IDorX a -> IDorX a -> Bool #

(<=) :: IDorX a -> IDorX a -> Bool #

(>) :: IDorX a -> IDorX a -> Bool #

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

max :: IDorX a -> IDorX a -> IDorX a #

min :: IDorX a -> IDorX a -> IDorX a #

Hashable a => Hashable (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

hashWithSalt :: Int -> IDorX a -> Int

hash :: IDorX a -> Int

Pack a => Pack (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pack :: IDorX a -> Builder Source #

Unpack a => Unpack (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

unpack :: forall (st :: ZeroBitType) r. Parser st r (IDorX a) Source #

type Rep (IDorX a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep (IDorX a) = D1 ('MetaData "IDorX" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "IDorX" 'PrefixI 'True) (S1 ('MetaSel ('Just "idorvalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Int32 a))))

newtype IDSet Source #

potentially unresolved ID set; either an identifier for its location or an inline set of IDs

Constructors

IDSet
Fields setnameorids :: Either Text (Vector Int32) name of ID set or inline set

Instances

Instances details

Data IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IDSet -> c IDSet #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IDSet #

toConstr :: IDSet -> Constr #

dataTypeOf :: IDSet -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IDSet) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IDSet) #

gmapT :: (forall b. Data b => b -> b) -> IDSet -> IDSet #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IDSet -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IDSet -> r #

gmapQ :: (forall d. Data d => d -> u) -> IDSet -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> IDSet -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IDSet -> m IDSet #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IDSet -> m IDSet #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IDSet -> m IDSet #

Semigroup IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(<>) :: IDSet -> IDSet -> IDSet #

sconcat :: NonEmpty IDSet -> IDSet #

stimes :: Integral b => b -> IDSet -> IDSet #

Generic IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep IDSet
Instance details Defined in M.Pack.Internal.Newtypes type Rep IDSet = D1 ('MetaData "IDSet" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "IDSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "setnameorids") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Text (Vector Int32)))))

Methods

from :: IDSet -> Rep IDSet x #

to :: Rep IDSet x -> IDSet #

Read IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS IDSet #

readList :: ReadS [IDSet] #

readPrec :: ReadPrec IDSet #

readListPrec :: ReadPrec [IDSet] #

Show IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> IDSet -> ShowS #

show :: IDSet -> String #

showList :: [IDSet] -> ShowS #

NFData IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: IDSet -> () #

Eq IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(==) :: IDSet -> IDSet -> Bool #

(/=) :: IDSet -> IDSet -> Bool #

Ord IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: IDSet -> IDSet -> Ordering #

(<) :: IDSet -> IDSet -> Bool #

(<=) :: IDSet -> IDSet -> Bool #

(>) :: IDSet -> IDSet -> Bool #

(>=) :: IDSet -> IDSet -> Bool #

max :: IDSet -> IDSet -> IDSet #

min :: IDSet -> IDSet -> IDSet #

Pack IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pack :: IDSet -> Builder Source #

Unpack IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

unpack :: forall (st :: ZeroBitType) r. Parser st r IDSet Source #

type Rep IDSet Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep IDSet = D1 ('MetaData "IDSet" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "IDSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "setnameorids") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Text (Vector Int32)))))

newtype TakeRest Source #

a newtype wrapper over ByteString; not length-prefixed

Constructors

TakeRest
Fields gettakerest :: ByteString

Instances

Instances details

Data TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TakeRest -> c TakeRest #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TakeRest #

toConstr :: TakeRest -> Constr #

dataTypeOf :: TakeRest -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TakeRest) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TakeRest) #

gmapT :: (forall b. Data b => b -> b) -> TakeRest -> TakeRest #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TakeRest -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TakeRest -> r #

gmapQ :: (forall d. Data d => d -> u) -> TakeRest -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TakeRest -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TakeRest -> m TakeRest #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TakeRest -> m TakeRest #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TakeRest -> m TakeRest #

Monoid TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

mempty :: TakeRest #

mappend :: TakeRest -> TakeRest -> TakeRest #

mconcat :: [TakeRest] -> TakeRest #

Semigroup TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(<>) :: TakeRest -> TakeRest -> TakeRest #

sconcat :: NonEmpty TakeRest -> TakeRest #

stimes :: Integral b => b -> TakeRest -> TakeRest #

Generic TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep TakeRest
Instance details Defined in M.Pack.Internal.Newtypes type Rep TakeRest = D1 ('MetaData "TakeRest" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "TakeRest" 'PrefixI 'True) (S1 ('MetaSel ('Just "gettakerest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: TakeRest -> Rep TakeRest x #

to :: Rep TakeRest x -> TakeRest #

Read TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS TakeRest #

readList :: ReadS [TakeRest] #

readPrec :: ReadPrec TakeRest #

readListPrec :: ReadPrec [TakeRest] #

Show TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> TakeRest -> ShowS #

show :: TakeRest -> String #

showList :: [TakeRest] -> ShowS #

NFData TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: TakeRest -> () #

Eq TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(==) :: TakeRest -> TakeRest -> Bool #

(/=) :: TakeRest -> TakeRest -> Bool #

Ord TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: TakeRest -> TakeRest -> Ordering #

(<) :: TakeRest -> TakeRest -> Bool #

(<=) :: TakeRest -> TakeRest -> Bool #

(>) :: TakeRest -> TakeRest -> Bool #

(>=) :: TakeRest -> TakeRest -> Bool #

max :: TakeRest -> TakeRest -> TakeRest #

min :: TakeRest -> TakeRest -> TakeRest #

Hashable TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

hashWithSalt :: Int -> TakeRest -> Int

hash :: TakeRest -> Int

Pack TakeRest Source #

TakeRest is serialized as-is

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pack :: TakeRest -> Builder Source #

Unpack TakeRest Source #

TakeRest is deserialized as-is and reads the rest of the input

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

unpack :: forall (st :: ZeroBitType) r. Parser st r TakeRest Source #

Lift TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

lift :: Quote m => TakeRest -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => TakeRest -> Code m TakeRest #

type Rep TakeRest Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep TakeRest = D1 ('MetaData "TakeRest" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "TakeRest" 'PrefixI 'True) (S1 ('MetaSel ('Just "gettakerest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype PackFoldableVI (f :: k -> Type) (a :: k) Source #

General Pack instance provider for Foldables

length-prefixed (VarInt), strict left fold

Constructors

PackFoldableVI
Fields getpackfoldablevi :: f a

Instances

Instances details

Generic1 (PackFoldableVI f :: k -> Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep1 (PackFoldableVI f :: k -> Type)
Instance details Defined in M.Pack.Internal.Newtypes type Rep1 (PackFoldableVI f :: k -> Type) = D1 ('MetaData "PackFoldableVI" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "PackFoldableVI" 'PrefixI 'True) (S1 ('MetaSel ('Just "getpackfoldablevi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

Methods

from1 :: forall (a :: k). PackFoldableVI f a -> Rep1 (PackFoldableVI f) a #

to1 :: forall (a :: k). Rep1 (PackFoldableVI f) a -> PackFoldableVI f a #

Lift (f a) => Lift (PackFoldableVI f a :: Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

lift :: Quote m => PackFoldableVI f a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => PackFoldableVI f a -> Code m (PackFoldableVI f a) #

Foldable f => Foldable (PackFoldableVI f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fold :: Monoid m => PackFoldableVI f m -> m #

foldMap :: Monoid m => (a -> m) -> PackFoldableVI f a -> m #

foldMap' :: Monoid m => (a -> m) -> PackFoldableVI f a -> m #

foldr :: (a -> b -> b) -> b -> PackFoldableVI f a -> b #

foldr' :: (a -> b -> b) -> b -> PackFoldableVI f a -> b #

foldl :: (b -> a -> b) -> b -> PackFoldableVI f a -> b #

foldl' :: (b -> a -> b) -> b -> PackFoldableVI f a -> b #

foldr1 :: (a -> a -> a) -> PackFoldableVI f a -> a #

foldl1 :: (a -> a -> a) -> PackFoldableVI f a -> a #

toList :: PackFoldableVI f a -> [a] #

null :: PackFoldableVI f a -> Bool #

length :: PackFoldableVI f a -> Int #

elem :: Eq a => a -> PackFoldableVI f a -> Bool #

maximum :: Ord a => PackFoldableVI f a -> a #

minimum :: Ord a => PackFoldableVI f a -> a #

sum :: Num a => PackFoldableVI f a -> a #

product :: Num a => PackFoldableVI f a -> a #

Foldable1 f => Foldable1 (PackFoldableVI f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fold1 :: Semigroup m => PackFoldableVI f m -> m #

foldMap1 :: Semigroup m => (a -> m) -> PackFoldableVI f a -> m #

foldMap1' :: Semigroup m => (a -> m) -> PackFoldableVI f a -> m #

toNonEmpty :: PackFoldableVI f a -> NonEmpty a #

maximum :: Ord a => PackFoldableVI f a -> a #

minimum :: Ord a => PackFoldableVI f a -> a #

head :: PackFoldableVI f a -> a #

last :: PackFoldableVI f a -> a #

foldrMap1 :: (a -> b) -> (a -> b -> b) -> PackFoldableVI f a -> b #

foldlMap1' :: (a -> b) -> (b -> a -> b) -> PackFoldableVI f a -> b #

foldlMap1 :: (a -> b) -> (b -> a -> b) -> PackFoldableVI f a -> b #

foldrMap1' :: (a -> b) -> (a -> b -> b) -> PackFoldableVI f a -> b #

Eq1 f => Eq1 (PackFoldableVI f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftEq :: (a -> b -> Bool) -> PackFoldableVI f a -> PackFoldableVI f b -> Bool #

Ord1 f => Ord1 (PackFoldableVI f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftCompare :: (a -> b -> Ordering) -> PackFoldableVI f a -> PackFoldableVI f b -> Ordering #

Read1 f => Read1 (PackFoldableVI f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (PackFoldableVI f a) #

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [PackFoldableVI f a] #

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (PackFoldableVI f a) #

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [PackFoldableVI f a] #

Show1 f => Show1 (PackFoldableVI f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> PackFoldableVI f a -> ShowS #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [PackFoldableVI f a] -> ShowS #

Applicative f => Applicative (PackFoldableVI f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pure :: a -> PackFoldableVI f a #

(<*>) :: PackFoldableVI f (a -> b) -> PackFoldableVI f a -> PackFoldableVI f b #

liftA2 :: (a -> b -> c) -> PackFoldableVI f a -> PackFoldableVI f b -> PackFoldableVI f c #

(*>) :: PackFoldableVI f a -> PackFoldableVI f b -> PackFoldableVI f b #

(<*) :: PackFoldableVI f a -> PackFoldableVI f b -> PackFoldableVI f a #

Functor f => Functor (PackFoldableVI f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fmap :: (a -> b) -> PackFoldableVI f a -> PackFoldableVI f b #

(<$) :: a -> PackFoldableVI f b -> PackFoldableVI f a #

Monad f => Monad (PackFoldableVI f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(>>=) :: PackFoldableVI f a -> (a -> PackFoldableVI f b) -> PackFoldableVI f b #

(>>) :: PackFoldableVI f a -> PackFoldableVI f b -> PackFoldableVI f b #

return :: a -> PackFoldableVI f a #

(Typeable a, Typeable f, Typeable k, Data (f a)) => Data (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackFoldableVI f a -> c (PackFoldableVI f a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PackFoldableVI f a) #

toConstr :: PackFoldableVI f a -> Constr #

dataTypeOf :: PackFoldableVI f a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (PackFoldableVI f a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PackFoldableVI f a)) #

gmapT :: (forall b. Data b => b -> b) -> PackFoldableVI f a -> PackFoldableVI f a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackFoldableVI f a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackFoldableVI f a -> r #

gmapQ :: (forall d. Data d => d -> u) -> PackFoldableVI f a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PackFoldableVI f a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackFoldableVI f a -> m (PackFoldableVI f a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackFoldableVI f a -> m (PackFoldableVI f a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackFoldableVI f a -> m (PackFoldableVI f a) #

Monoid (f a) => Monoid (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

mempty :: PackFoldableVI f a #

mappend :: PackFoldableVI f a -> PackFoldableVI f a -> PackFoldableVI f a #

mconcat :: [PackFoldableVI f a] -> PackFoldableVI f a #

Semigroup (f a) => Semigroup (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(<>) :: PackFoldableVI f a -> PackFoldableVI f a -> PackFoldableVI f a #

sconcat :: NonEmpty (PackFoldableVI f a) -> PackFoldableVI f a #

stimes :: Integral b => b -> PackFoldableVI f a -> PackFoldableVI f a #

Generic (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep (PackFoldableVI f a)
Instance details Defined in M.Pack.Internal.Newtypes type Rep (PackFoldableVI f a) = D1 ('MetaData "PackFoldableVI" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "PackFoldableVI" 'PrefixI 'True) (S1 ('MetaSel ('Just "getpackfoldablevi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

Methods

from :: PackFoldableVI f a -> Rep (PackFoldableVI f a) x #

to :: Rep (PackFoldableVI f a) x -> PackFoldableVI f a #

Read (f a) => Read (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS (PackFoldableVI f a) #

readList :: ReadS [PackFoldableVI f a] #

readPrec :: ReadPrec (PackFoldableVI f a) #

readListPrec :: ReadPrec [PackFoldableVI f a] #

Show (f a) => Show (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> PackFoldableVI f a -> ShowS #

show :: PackFoldableVI f a -> String #

showList :: [PackFoldableVI f a] -> ShowS #

NFData (f a) => NFData (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: PackFoldableVI f a -> () #

Eq (f a) => Eq (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(==) :: PackFoldableVI f a -> PackFoldableVI f a -> Bool #

(/=) :: PackFoldableVI f a -> PackFoldableVI f a -> Bool #

Ord (f a) => Ord (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: PackFoldableVI f a -> PackFoldableVI f a -> Ordering #

(<) :: PackFoldableVI f a -> PackFoldableVI f a -> Bool #

(<=) :: PackFoldableVI f a -> PackFoldableVI f a -> Bool #

(>) :: PackFoldableVI f a -> PackFoldableVI f a -> Bool #

(>=) :: PackFoldableVI f a -> PackFoldableVI f a -> Bool #

max :: PackFoldableVI f a -> PackFoldableVI f a -> PackFoldableVI f a #

min :: PackFoldableVI f a -> PackFoldableVI f a -> PackFoldableVI f a #

Hashable (f a) => Hashable (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

hashWithSalt :: Int -> PackFoldableVI f a -> Int

hash :: PackFoldableVI f a -> Int

(Pack a, Foldable f) => Pack (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pack :: PackFoldableVI f a -> Builder Source #

type Rep1 (PackFoldableVI f :: k -> Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep1 (PackFoldableVI f :: k -> Type) = D1 ('MetaData "PackFoldableVI" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "PackFoldableVI" 'PrefixI 'True) (S1 ('MetaSel ('Just "getpackfoldablevi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

type Rep (PackFoldableVI f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep (PackFoldableVI f a) = D1 ('MetaData "PackFoldableVI" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "PackFoldableVI" 'PrefixI 'True) (S1 ('MetaSel ('Just "getpackfoldablevi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

newtype PackFoldable0 (f :: k -> Type) (a :: k) Source #

General Pack instance provider for Foldables

no length prefix, strict left fold

Constructors

PackFoldable0
Fields getpackfoldable0 :: f a

Instances

Instances details

Generic1 (PackFoldable0 f :: k -> Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep1 (PackFoldable0 f :: k -> Type)
Instance details Defined in M.Pack.Internal.Newtypes type Rep1 (PackFoldable0 f :: k -> Type) = D1 ('MetaData "PackFoldable0" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "PackFoldable0" 'PrefixI 'True) (S1 ('MetaSel ('Just "getpackfoldable0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

Methods

from1 :: forall (a :: k). PackFoldable0 f a -> Rep1 (PackFoldable0 f) a #

to1 :: forall (a :: k). Rep1 (PackFoldable0 f) a -> PackFoldable0 f a #

Lift (f a) => Lift (PackFoldable0 f a :: Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

lift :: Quote m => PackFoldable0 f a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => PackFoldable0 f a -> Code m (PackFoldable0 f a) #

Foldable f => Foldable (PackFoldable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fold :: Monoid m => PackFoldable0 f m -> m #

foldMap :: Monoid m => (a -> m) -> PackFoldable0 f a -> m #

foldMap' :: Monoid m => (a -> m) -> PackFoldable0 f a -> m #

foldr :: (a -> b -> b) -> b -> PackFoldable0 f a -> b #

foldr' :: (a -> b -> b) -> b -> PackFoldable0 f a -> b #

foldl :: (b -> a -> b) -> b -> PackFoldable0 f a -> b #

foldl' :: (b -> a -> b) -> b -> PackFoldable0 f a -> b #

foldr1 :: (a -> a -> a) -> PackFoldable0 f a -> a #

foldl1 :: (a -> a -> a) -> PackFoldable0 f a -> a #

toList :: PackFoldable0 f a -> [a] #

null :: PackFoldable0 f a -> Bool #

length :: PackFoldable0 f a -> Int #

elem :: Eq a => a -> PackFoldable0 f a -> Bool #

maximum :: Ord a => PackFoldable0 f a -> a #

minimum :: Ord a => PackFoldable0 f a -> a #

sum :: Num a => PackFoldable0 f a -> a #

product :: Num a => PackFoldable0 f a -> a #

Foldable1 f => Foldable1 (PackFoldable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fold1 :: Semigroup m => PackFoldable0 f m -> m #

foldMap1 :: Semigroup m => (a -> m) -> PackFoldable0 f a -> m #

foldMap1' :: Semigroup m => (a -> m) -> PackFoldable0 f a -> m #

toNonEmpty :: PackFoldable0 f a -> NonEmpty a #

maximum :: Ord a => PackFoldable0 f a -> a #

minimum :: Ord a => PackFoldable0 f a -> a #

head :: PackFoldable0 f a -> a #

last :: PackFoldable0 f a -> a #

foldrMap1 :: (a -> b) -> (a -> b -> b) -> PackFoldable0 f a -> b #

foldlMap1' :: (a -> b) -> (b -> a -> b) -> PackFoldable0 f a -> b #

foldlMap1 :: (a -> b) -> (b -> a -> b) -> PackFoldable0 f a -> b #

foldrMap1' :: (a -> b) -> (a -> b -> b) -> PackFoldable0 f a -> b #

Eq1 f => Eq1 (PackFoldable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftEq :: (a -> b -> Bool) -> PackFoldable0 f a -> PackFoldable0 f b -> Bool #

Ord1 f => Ord1 (PackFoldable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftCompare :: (a -> b -> Ordering) -> PackFoldable0 f a -> PackFoldable0 f b -> Ordering #

Read1 f => Read1 (PackFoldable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (PackFoldable0 f a) #

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [PackFoldable0 f a] #

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (PackFoldable0 f a) #

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [PackFoldable0 f a] #

Show1 f => Show1 (PackFoldable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> PackFoldable0 f a -> ShowS #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [PackFoldable0 f a] -> ShowS #

Applicative f => Applicative (PackFoldable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pure :: a -> PackFoldable0 f a #

(<*>) :: PackFoldable0 f (a -> b) -> PackFoldable0 f a -> PackFoldable0 f b #

liftA2 :: (a -> b -> c) -> PackFoldable0 f a -> PackFoldable0 f b -> PackFoldable0 f c #

(*>) :: PackFoldable0 f a -> PackFoldable0 f b -> PackFoldable0 f b #

(<*) :: PackFoldable0 f a -> PackFoldable0 f b -> PackFoldable0 f a #

Functor f => Functor (PackFoldable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fmap :: (a -> b) -> PackFoldable0 f a -> PackFoldable0 f b #

(<$) :: a -> PackFoldable0 f b -> PackFoldable0 f a #

Monad f => Monad (PackFoldable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(>>=) :: PackFoldable0 f a -> (a -> PackFoldable0 f b) -> PackFoldable0 f b #

(>>) :: PackFoldable0 f a -> PackFoldable0 f b -> PackFoldable0 f b #

return :: a -> PackFoldable0 f a #

(Typeable a, Typeable f, Typeable k, Data (f a)) => Data (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackFoldable0 f a -> c (PackFoldable0 f a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PackFoldable0 f a) #

toConstr :: PackFoldable0 f a -> Constr #

dataTypeOf :: PackFoldable0 f a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (PackFoldable0 f a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PackFoldable0 f a)) #

gmapT :: (forall b. Data b => b -> b) -> PackFoldable0 f a -> PackFoldable0 f a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackFoldable0 f a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackFoldable0 f a -> r #

gmapQ :: (forall d. Data d => d -> u) -> PackFoldable0 f a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PackFoldable0 f a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackFoldable0 f a -> m (PackFoldable0 f a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackFoldable0 f a -> m (PackFoldable0 f a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackFoldable0 f a -> m (PackFoldable0 f a) #

Monoid (f a) => Monoid (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

mempty :: PackFoldable0 f a #

mappend :: PackFoldable0 f a -> PackFoldable0 f a -> PackFoldable0 f a #

mconcat :: [PackFoldable0 f a] -> PackFoldable0 f a #

Semigroup (f a) => Semigroup (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(<>) :: PackFoldable0 f a -> PackFoldable0 f a -> PackFoldable0 f a #

sconcat :: NonEmpty (PackFoldable0 f a) -> PackFoldable0 f a #

stimes :: Integral b => b -> PackFoldable0 f a -> PackFoldable0 f a #

Generic (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep (PackFoldable0 f a)
Instance details Defined in M.Pack.Internal.Newtypes type Rep (PackFoldable0 f a) = D1 ('MetaData "PackFoldable0" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "PackFoldable0" 'PrefixI 'True) (S1 ('MetaSel ('Just "getpackfoldable0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

Methods

from :: PackFoldable0 f a -> Rep (PackFoldable0 f a) x #

to :: Rep (PackFoldable0 f a) x -> PackFoldable0 f a #

Read (f a) => Read (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS (PackFoldable0 f a) #

readList :: ReadS [PackFoldable0 f a] #

readPrec :: ReadPrec (PackFoldable0 f a) #

readListPrec :: ReadPrec [PackFoldable0 f a] #

Show (f a) => Show (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> PackFoldable0 f a -> ShowS #

show :: PackFoldable0 f a -> String #

showList :: [PackFoldable0 f a] -> ShowS #

NFData (f a) => NFData (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: PackFoldable0 f a -> () #

Eq (f a) => Eq (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(==) :: PackFoldable0 f a -> PackFoldable0 f a -> Bool #

(/=) :: PackFoldable0 f a -> PackFoldable0 f a -> Bool #

Ord (f a) => Ord (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: PackFoldable0 f a -> PackFoldable0 f a -> Ordering #

(<) :: PackFoldable0 f a -> PackFoldable0 f a -> Bool #

(<=) :: PackFoldable0 f a -> PackFoldable0 f a -> Bool #

(>) :: PackFoldable0 f a -> PackFoldable0 f a -> Bool #

(>=) :: PackFoldable0 f a -> PackFoldable0 f a -> Bool #

max :: PackFoldable0 f a -> PackFoldable0 f a -> PackFoldable0 f a #

min :: PackFoldable0 f a -> PackFoldable0 f a -> PackFoldable0 f a #

Hashable (f a) => Hashable (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

hashWithSalt :: Int -> PackFoldable0 f a -> Int

hash :: PackFoldable0 f a -> Int

(Pack a, Foldable f) => Pack (PackFoldable0 f a) Source #

foldMap pack

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pack :: PackFoldable0 f a -> Builder Source #

type Rep1 (PackFoldable0 f :: k -> Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep1 (PackFoldable0 f :: k -> Type) = D1 ('MetaData "PackFoldable0" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "PackFoldable0" 'PrefixI 'True) (S1 ('MetaSel ('Just "getpackfoldable0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

type Rep (PackFoldable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep (PackFoldable0 f a) = D1 ('MetaData "PackFoldable0" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "PackFoldable0" 'PrefixI 'True) (S1 ('MetaSel ('Just "getpackfoldable0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

newtype UnpackRepresentable0 (f :: k -> Type) (a :: k) Source #

General Unpack instance provider for Representables that are also Traversable

Constructors

UnpackRepresentable0
Fields getunpackrepresentable0 :: f a

Instances

Instances details

Generic1 (UnpackRepresentable0 f :: k -> Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep1 (UnpackRepresentable0 f :: k -> Type)
Instance details Defined in M.Pack.Internal.Newtypes type Rep1 (UnpackRepresentable0 f :: k -> Type) = D1 ('MetaData "UnpackRepresentable0" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "UnpackRepresentable0" 'PrefixI 'True) (S1 ('MetaSel ('Just "getunpackrepresentable0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

Methods

from1 :: forall (a :: k). UnpackRepresentable0 f a -> Rep1 (UnpackRepresentable0 f) a #

to1 :: forall (a :: k). Rep1 (UnpackRepresentable0 f) a -> UnpackRepresentable0 f a #

Lift (f a) => Lift (UnpackRepresentable0 f a :: Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

lift :: Quote m => UnpackRepresentable0 f a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => UnpackRepresentable0 f a -> Code m (UnpackRepresentable0 f a) #

Foldable f => Foldable (UnpackRepresentable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fold :: Monoid m => UnpackRepresentable0 f m -> m #

foldMap :: Monoid m => (a -> m) -> UnpackRepresentable0 f a -> m #

foldMap' :: Monoid m => (a -> m) -> UnpackRepresentable0 f a -> m #

foldr :: (a -> b -> b) -> b -> UnpackRepresentable0 f a -> b #

foldr' :: (a -> b -> b) -> b -> UnpackRepresentable0 f a -> b #

foldl :: (b -> a -> b) -> b -> UnpackRepresentable0 f a -> b #

foldl' :: (b -> a -> b) -> b -> UnpackRepresentable0 f a -> b #

foldr1 :: (a -> a -> a) -> UnpackRepresentable0 f a -> a #

foldl1 :: (a -> a -> a) -> UnpackRepresentable0 f a -> a #

toList :: UnpackRepresentable0 f a -> [a] #

null :: UnpackRepresentable0 f a -> Bool #

length :: UnpackRepresentable0 f a -> Int #

elem :: Eq a => a -> UnpackRepresentable0 f a -> Bool #

maximum :: Ord a => UnpackRepresentable0 f a -> a #

minimum :: Ord a => UnpackRepresentable0 f a -> a #

sum :: Num a => UnpackRepresentable0 f a -> a #

product :: Num a => UnpackRepresentable0 f a -> a #

Foldable1 f => Foldable1 (UnpackRepresentable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fold1 :: Semigroup m => UnpackRepresentable0 f m -> m #

foldMap1 :: Semigroup m => (a -> m) -> UnpackRepresentable0 f a -> m #

foldMap1' :: Semigroup m => (a -> m) -> UnpackRepresentable0 f a -> m #

toNonEmpty :: UnpackRepresentable0 f a -> NonEmpty a #

maximum :: Ord a => UnpackRepresentable0 f a -> a #

minimum :: Ord a => UnpackRepresentable0 f a -> a #

head :: UnpackRepresentable0 f a -> a #

last :: UnpackRepresentable0 f a -> a #

foldrMap1 :: (a -> b) -> (a -> b -> b) -> UnpackRepresentable0 f a -> b #

foldlMap1' :: (a -> b) -> (b -> a -> b) -> UnpackRepresentable0 f a -> b #

foldlMap1 :: (a -> b) -> (b -> a -> b) -> UnpackRepresentable0 f a -> b #

foldrMap1' :: (a -> b) -> (a -> b -> b) -> UnpackRepresentable0 f a -> b #

Eq1 f => Eq1 (UnpackRepresentable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftEq :: (a -> b -> Bool) -> UnpackRepresentable0 f a -> UnpackRepresentable0 f b -> Bool #

Ord1 f => Ord1 (UnpackRepresentable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftCompare :: (a -> b -> Ordering) -> UnpackRepresentable0 f a -> UnpackRepresentable0 f b -> Ordering #

Read1 f => Read1 (UnpackRepresentable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (UnpackRepresentable0 f a) #

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [UnpackRepresentable0 f a] #

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (UnpackRepresentable0 f a) #

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [UnpackRepresentable0 f a] #

Show1 f => Show1 (UnpackRepresentable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UnpackRepresentable0 f a -> ShowS #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UnpackRepresentable0 f a] -> ShowS #

Applicative f => Applicative (UnpackRepresentable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

pure :: a -> UnpackRepresentable0 f a #

(<*>) :: UnpackRepresentable0 f (a -> b) -> UnpackRepresentable0 f a -> UnpackRepresentable0 f b #

liftA2 :: (a -> b -> c) -> UnpackRepresentable0 f a -> UnpackRepresentable0 f b -> UnpackRepresentable0 f c #

(*>) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f b -> UnpackRepresentable0 f b #

(<*) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f b -> UnpackRepresentable0 f a #

Functor f => Functor (UnpackRepresentable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

fmap :: (a -> b) -> UnpackRepresentable0 f a -> UnpackRepresentable0 f b #

(<$) :: a -> UnpackRepresentable0 f b -> UnpackRepresentable0 f a #

Monad f => Monad (UnpackRepresentable0 f) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(>>=) :: UnpackRepresentable0 f a -> (a -> UnpackRepresentable0 f b) -> UnpackRepresentable0 f b #

(>>) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f b -> UnpackRepresentable0 f b #

return :: a -> UnpackRepresentable0 f a #

(Typeable a, Typeable f, Typeable k, Data (f a)) => Data (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnpackRepresentable0 f a -> c (UnpackRepresentable0 f a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (UnpackRepresentable0 f a) #

toConstr :: UnpackRepresentable0 f a -> Constr #

dataTypeOf :: UnpackRepresentable0 f a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (UnpackRepresentable0 f a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (UnpackRepresentable0 f a)) #

gmapT :: (forall b. Data b => b -> b) -> UnpackRepresentable0 f a -> UnpackRepresentable0 f a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnpackRepresentable0 f a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnpackRepresentable0 f a -> r #

gmapQ :: (forall d. Data d => d -> u) -> UnpackRepresentable0 f a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UnpackRepresentable0 f a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnpackRepresentable0 f a -> m (UnpackRepresentable0 f a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnpackRepresentable0 f a -> m (UnpackRepresentable0 f a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnpackRepresentable0 f a -> m (UnpackRepresentable0 f a) #

Monoid (f a) => Monoid (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

mempty :: UnpackRepresentable0 f a #

mappend :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> UnpackRepresentable0 f a #

mconcat :: [UnpackRepresentable0 f a] -> UnpackRepresentable0 f a #

Semigroup (f a) => Semigroup (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(<>) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> UnpackRepresentable0 f a #

sconcat :: NonEmpty (UnpackRepresentable0 f a) -> UnpackRepresentable0 f a #

stimes :: Integral b => b -> UnpackRepresentable0 f a -> UnpackRepresentable0 f a #

Generic (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Associated Types

type Rep (UnpackRepresentable0 f a)
Instance details Defined in M.Pack.Internal.Newtypes type Rep (UnpackRepresentable0 f a) = D1 ('MetaData "UnpackRepresentable0" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "UnpackRepresentable0" 'PrefixI 'True) (S1 ('MetaSel ('Just "getunpackrepresentable0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

Methods

from :: UnpackRepresentable0 f a -> Rep (UnpackRepresentable0 f a) x #

to :: Rep (UnpackRepresentable0 f a) x -> UnpackRepresentable0 f a #

Read (f a) => Read (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

readsPrec :: Int -> ReadS (UnpackRepresentable0 f a) #

readList :: ReadS [UnpackRepresentable0 f a] #

readPrec :: ReadPrec (UnpackRepresentable0 f a) #

readListPrec :: ReadPrec [UnpackRepresentable0 f a] #

Show (f a) => Show (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

showsPrec :: Int -> UnpackRepresentable0 f a -> ShowS #

show :: UnpackRepresentable0 f a -> String #

showList :: [UnpackRepresentable0 f a] -> ShowS #

NFData (f a) => NFData (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

rnf :: UnpackRepresentable0 f a -> () #

Eq (f a) => Eq (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

(==) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> Bool #

(/=) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> Bool #

Ord (f a) => Ord (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

compare :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> Ordering #

(<) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> Bool #

(<=) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> Bool #

(>) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> Bool #

(>=) :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> Bool #

max :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> UnpackRepresentable0 f a #

min :: UnpackRepresentable0 f a -> UnpackRepresentable0 f a -> UnpackRepresentable0 f a #

Hashable (f a) => Hashable (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

hashWithSalt :: Int -> UnpackRepresentable0 f a -> Int

hash :: UnpackRepresentable0 f a -> Int

(Unpack a, Representable f, Traversable f) => Unpack (UnpackRepresentable0 f a) Source #

sequenceA (tabulate (const unpack))

Instance details

Defined in M.Pack.Internal.Newtypes

Methods

unpack :: forall (st :: ZeroBitType) r. Parser st r (UnpackRepresentable0 f a) Source #

type Rep1 (UnpackRepresentable0 f :: k -> Type) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep1 (UnpackRepresentable0 f :: k -> Type) = D1 ('MetaData "UnpackRepresentable0" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "UnpackRepresentable0" 'PrefixI 'True) (S1 ('MetaSel ('Just "getunpackrepresentable0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

type Rep (UnpackRepresentable0 f a) Source #

Instance details

Defined in M.Pack.Internal.Newtypes

type Rep (UnpackRepresentable0 f a) = D1 ('MetaData "UnpackRepresentable0" "M.Pack.Internal.Newtypes" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'True) (C1 ('MetaCons "UnpackRepresentable0" 'PrefixI 'True) (S1 ('MetaSel ('Just "getunpackrepresentable0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

degtoi8angle :: RealFrac a => a -> Int8Angle Source #

convert degrees to Int8Angle

i8angledeg :: RealFrac a => Int8Angle -> a Source #

convert Int8Angle to degrees