Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data LenPfx (size :: ISize) (end :: Endianness) a = forall n.(KnownNat n, n <= IMax 'U size) => LenPfx {}
- vsEq :: forall a n m. (Eq a, KnownNat n, KnownNat m) => Vector n a -> Vector m a -> Bool
- asLenPfx :: forall size end n a irep. (irep ~ IRep 'U size, KnownNat n, KnownNat (MaxBound irep)) => Vector n a -> Maybe (LenPfx size end a)
- lenPfxFromList :: forall size end a irep. (irep ~ IRep 'U size, KnownNat (MaxBound irep)) => [a] -> Maybe (LenPfx size end a)
- lenPfxSize :: Num (IRep 'U size) => LenPfx size end a -> I 'U size end
- getLenPfx :: forall size end a itype irep. (itype ~ I 'U size end, irep ~ IRep 'U size, Get itype, Integral irep, KnownNat (MaxBound irep)) => Getter a -> Getter (LenPfx size end a)
Documentation
data LenPfx (size :: ISize) (end :: Endianness) a Source #
Holy shit - no need to do a smart constructor, it's simply impossible to instantiate invalid values of this type!
Instances
Generic (LenPfx size end a) Source # | |
Show a => Show (LenPfx size end a) Source # | |
(BLen a, itype ~ I 'U size end, KnownNat (CBLen itype)) => BLen (LenPfx size end a) Source # | |
(itype ~ I 'U size end, irep ~ IRep 'U size, Get itype, Integral irep, Get a, KnownNat (MaxBound irep)) => Get (LenPfx size end a) Source # | |
(itype ~ I 'U size end, irep ~ IRep 'U size, Put a, Put itype, Num irep) => Put (LenPfx size end a) Source # | |
Eq a => Eq (LenPfx size end a) Source # | |
(KnownNat (MaxBound (IRep 'U size)), Show a, Typeable a, Typeable size, Typeable end) => Strengthen (LenPfx size end a) Source # | |
Defined in Binrep.Type.LenPfx strengthen :: Weak (LenPfx size end a) -> Validation (NonEmpty StrengthenFail) (LenPfx size end a) # | |
Weaken (LenPfx size end a) Source # | |
type Rep (LenPfx size end a) Source # | |
Defined in Binrep.Type.LenPfx | |
type CBLen (LenPfx size end a) Source # | |
type Weak (LenPfx size end a) Source # | |
Defined in Binrep.Type.LenPfx |
asLenPfx :: forall size end n a irep. (irep ~ IRep 'U size, KnownNat n, KnownNat (MaxBound irep)) => Vector n a -> Maybe (LenPfx size end a) Source #