License | MIT |
---|---|
Maintainer | mmzk1526@outlook.com |
Portability | GHC |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Unsafe KindIDV4
functions.
Synopsis
- unsafeParseString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => String -> KindIDV4 prefix
- unsafeParseText :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => Text -> KindIDV4 prefix
- unsafeParseByteString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => ByteString -> KindIDV4 prefix
- unsafeString2ID :: IDConv a => String -> a
- unsafeText2ID :: IDConv a => Text -> a
- unsafeByteString2ID :: IDConv a => ByteString -> a
- unsafeFromTypeID :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => TypeIDV4 -> KindIDV4 prefix
Unsafe KindIDV4
decoding (KindIDV4
-specific)
unsafeParseString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => String -> KindIDV4 prefix Source #
unsafeParseText :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => Text -> KindIDV4 prefix Source #
unsafeParseByteString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => ByteString -> KindIDV4 prefix Source #
Parse a KindIDV4
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 KindIDV4
. If there are other parse errors, it will crash.
Unsafe KindIDV4
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)) => TypeIDV4 -> KindIDV4 prefix Source #