Basement.From · basement-0.0.16

classclass From a b where

Class of things that can be converted from a to b.

In a valid instance, the source should be always representable by the destination, otherwise the instance should be using TryFrom

Methods

from :: a -> b

Instances73From, …

From AsciiString StringDefined in basement-0.0.16 · Basement.From
From Word128 Word256Defined in basement-0.0.16 · Basement.From
From Int16 Int32Defined in basement-0.0.16 · Basement.From
From Int16 Int64Defined in basement-0.0.16 · Basement.From
From Int16 IntDefined in basement-0.0.16 · Basement.From
From Int32 Int64Defined in basement-0.0.16 · Basement.From
From Int32 IntDefined in basement-0.0.16 · Basement.From
From Int8 Int16Defined in basement-0.0.16 · Basement.From
From Int8 Int32Defined in basement-0.0.16 · Basement.From
From Int8 Int64Defined in basement-0.0.16 · Basement.From
From Int8 IntDefined in basement-0.0.16 · Basement.From
From Word16 Word128Defined in basement-0.0.16 · Basement.From
From Word16 Word256Defined in basement-0.0.16 · Basement.From
From Word16 Int32Defined in basement-0.0.16 · Basement.From
From Word16 Int64Defined in basement-0.0.16 · Basement.From
From Word16 Word32Defined in basement-0.0.16 · Basement.From
From Word16 Word64Defined in basement-0.0.16 · Basement.From
From Word16 IntDefined in basement-0.0.16 · Basement.From
From Word16 WordDefined in basement-0.0.16 · Basement.From
From Word32 Word128Defined in basement-0.0.16 · Basement.From
From Word32 Word256Defined in basement-0.0.16 · Basement.From
From Word32 Int64Defined in basement-0.0.16 · Basement.From
From Word32 Word64Defined in basement-0.0.16 · Basement.From
From Word32 IntDefined in basement-0.0.16 · Basement.From
From Word32 WordDefined in basement-0.0.16 · Basement.From
From Word64 Word128Defined in basement-0.0.16 · Basement.From
From Word64 Word256Defined in basement-0.0.16 · Basement.From
From Word8 Word128Defined in basement-0.0.16 · Basement.From
From Word8 Word256Defined in basement-0.0.16 · Basement.From
From Word8 Int16Defined in basement-0.0.16 · Basement.From
From Word8 Int32Defined in basement-0.0.16 · Basement.From
From Word8 Int64Defined in basement-0.0.16 · Basement.From
From Word8 Word16Defined in basement-0.0.16 · Basement.From
From Word8 Word32Defined in basement-0.0.16 · Basement.From
From Word8 Word64Defined in basement-0.0.16 · Basement.From
From Word8 IntDefined in basement-0.0.16 · Basement.From
From Word8 WordDefined in basement-0.0.16 · Basement.From
From Int Int64Defined in basement-0.0.16 · Basement.From
From Word Word64Defined in basement-0.0.16 · Basement.From
From a aDefined in basement-0.0.16 · Basement.From
IsIntegral n => From n IntegerDefined in basement-0.0.16 · Basement.From
IsNatural n => From n NaturalDefined in basement-0.0.16 · Basement.From
From AsciiString (UArray Word8)Defined in basement-0.0.16 · Basement.From
From String (UArray Word8)Defined in basement-0.0.16 · Basement.From
From Word (CountOf ty)Defined in basement-0.0.16 · Basement.From
From Word (Offset ty)Defined in basement-0.0.16 · Basement.From
From (Zn64 n) Word128Defined in basement-0.0.16 · Basement.From
From (Zn64 n) Word256Defined in basement-0.0.16 · Basement.From
From (Zn64 n) Word64Defined in basement-0.0.16 · Basement.From
From (CountOf ty) IntDefined in basement-0.0.16 · Basement.From
From (CountOf ty) WordDefined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word128 n) => From (Zn n) Word128Defined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word256 n) => From (Zn n) Word256Defined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word16 n) => From (Zn n) Word16Defined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word16 n) => From (Zn64 n) Word16Defined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word32 n) => From (Zn n) Word32Defined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word32 n) => From (Zn64 n) Word32Defined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word64 n) => From (Zn n) Word64Defined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word8 n) => From (Zn n) Word8Defined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word8 n) => From (Zn64 n) Word8Defined in basement-0.0.16 · Basement.From
PrimType ty => From (Block ty) (UArray ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (Array ty) (Block ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (Array ty) (UArray ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (UArray ty) (Block ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (UArray ty) (Array ty)Defined in basement-0.0.16 · Basement.From
KnownNat n => From (Zn64 n) (Zn n)Defined in basement-0.0.16 · Basement.From
(KnownNat n, NatWithinBound Word64 n) => From (Zn n) (Zn64 n)Defined in basement-0.0.16 · Basement.From
From (Maybe a) (Either () a)Defined in basement-0.0.16 · Basement.From
From (BlockN n ty) (Block ty)Defined in basement-0.0.16 · Basement.From
(NatWithinBound Int n, PrimType ty) => From (BlockN n ty) (Array ty)Defined in basement-0.0.16 · Basement.From
(NatWithinBound Int n, PrimType ty) => From (BlockN n ty) (UArray ty)Defined in basement-0.0.16 · Basement.From
From (Either a b) (These a b)Defined in basement-0.0.16 · Basement.From
(PrimType a, PrimType b, KnownNat n, KnownNat m, (PrimSize b * m) ~ (PrimSize a * n)) => From (BlockN n a) (BlockN m b)Defined in basement-0.0.16 · Basement.From

typetype Into b a = From a b

#

classclass TryFrom a b where

#

Class of things that can mostly be converted from a to b, but with possible error cases.

Methods

tryFrom :: a -> Maybe b

Instances6TryFrom

TryFrom Int (CountOf ty)Defined in basement-0.0.16 · Basement.From
TryFrom Int (Offset ty)Defined in basement-0.0.16 · Basement.From
TryFrom (UArray Word8) StringDefined in basement-0.0.16 · Basement.From
(NatWithinBound (CountOf ty) n, KnownNat n, PrimType ty) => TryFrom (Block ty) (BlockN n ty)Defined in basement-0.0.16 · Basement.From
(NatWithinBound (CountOf ty) n, KnownNat n, PrimType ty) => TryFrom (Array ty) (BlockN n ty)Defined in basement-0.0.16 · Basement.From
(NatWithinBound (CountOf ty) n, KnownNat n, PrimType ty) => TryFrom (UArray ty) (BlockN n ty)Defined in basement-0.0.16 · Basement.From

typetype TryInto b a = TryFrom a b

#

valueinto :: Into b a => a -> b

#

Same as from but reverse the type variable so that the destination type can be specified first

e.g. converting:

from _ Word (10 :: Int)

into @Word (10 :: Int)

valuetryInto :: TryInto b a => a -> Maybe b

#

same as tryFrom but reversed