| License | MIT |
|---|---|
| Maintainer | mmzk1526@outlook.com |
| Portability | GHC |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.KindID.V7.Unsafe
Description
Unsafe KindID functions.
Synopsis
- unsafeParseString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => String -> KindID prefix
- unsafeParseText :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => Text -> KindID prefix
- unsafeParseByteString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => ByteString -> KindID prefix
- unsafeString2ID :: IDConv a => String -> a
- unsafeText2ID :: IDConv a => Text -> a
- unsafeByteString2ID :: IDConv a => ByteString -> a
- unsafeFromTypeID :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => TypeID -> KindID prefix
Unsafe KindID decoding (KindID-specific)
unsafeParseString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => String -> KindID prefix Source #
unsafeParseText :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => Text -> KindID prefix Source #
unsafeParseByteString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => ByteString -> KindID prefix Source #
Parse a KindID from its string representation as a lazy ByteString, but
does not behave correctly when parsing fails.
More specifically, if the prefix does not match, it will not complain and
produce the wrong KindID. If there are other parse errors, it will crash.
Unsafe KindID decoding (class methods)
unsafeString2ID :: IDConv a => String -> a Source #
Parse the identifier from its String representation, but crashes when
the parsing fails.
unsafeText2ID :: IDConv a => Text -> a Source #
Parse the identifier from its string representation as a strict Text,
but crashes when the parsing fails.
unsafeByteString2ID :: IDConv a => ByteString -> a Source #
Parse the identifier from its string representation as a lazy
ByteString, but crashes when the parsing fails.
Unsafe conversion
unsafeFromTypeID :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => TypeID -> KindID prefix Source #