-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Modules for primitive types -- -- Modules for primitive types @package basics @version 0.2.0.0 module Basics.ArrayArray type A = UnliftedArray () type M = Flip MutableUnliftedArray () type R = 'BoxedRep 'Unlifted type A# = ArrayArray# type M# = MutableArrayArray# lift :: A# -> A unlift :: A -> A# liftMutable :: M# s -> M s unliftMutable :: M s -> M# s unsafeFreeze# :: M# s -> State# s -> (# State# s, A# #) module Basics.BitBool type T = Bool type T# = Int# type R = 'IntRep lift :: T# -> T unlift :: T -> T# eq# :: Int# -> Int# -> Int# neq# :: Int# -> Int# -> Int# read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) def :: T shows :: T -> String -> String module Basics.Bool type T = Bool type T# = Int# type R = 'IntRep lift :: T# -> T unlift :: T -> T# eq# :: Int# -> Int# -> Int# neq# :: Int# -> Int# -> Int# read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) def :: T size :: Int shows :: T -> String -> String module Basics.ByteArray type A = ByteArray type M = MutableByteArray type R = 'BoxedRep 'Unlifted type A# = ByteArray# type M# = MutableByteArray# type T = ByteArray type T# = ByteArray# lift :: A# -> A unlift :: A -> A# liftMutable :: M# s -> M s unliftMutable :: M s -> M# s unsafeFreeze# :: M# s -> State# s -> (# State# s, A# #) read# :: MutableArrayArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableArrayArray# s -> Int# -> T# -> State# s -> State# s index# :: ArrayArray# -> Int# -> T# set# :: MutableArrayArray# s -> Int# -> Int# -> T# -> State# s -> State# s module Basics.Char type T = Char type T# = Char# type R = 'WordRep lift :: T# -> T unlift :: T -> T# read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) def :: T size :: Int module Basics.Int type T = Int type T# = Int# type R = 'IntRep lift :: T# -> T unlift :: T -> T# plus :: T -> T -> T minus :: T -> T -> T plus# :: T# -> T# -> T# minus# :: T# -> T# -> T# times# :: T# -> T# -> T# quot# :: T# -> T# -> T# rem# :: T# -> T# -> T# gt# :: T# -> T# -> Int# lt# :: T# -> T# -> Int# gte# :: T# -> T# -> Int# lte# :: T# -> T# -> Int# eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# gt :: T -> T -> Bool lt :: T -> T -> Bool gte :: T -> T -> Bool lte :: T -> T -> Bool eq :: T -> T -> Bool neq :: T -> T -> Bool read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) uninitialized :: Int -> ST s (MutableByteArray s) initialized :: Int -> T -> ST s (MutableByteArray s) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) zero :: T def :: T signed :: Bool size :: Int shows :: T -> String -> String module Basics.Int64 type T = Int64 type T# = Int# type R = 'IntRep lift :: T# -> T unlift :: T -> T# plus :: T -> T -> T minus :: T -> T -> T plus# :: T# -> T# -> T# minus# :: T# -> T# -> T# times# :: T# -> T# -> T# quot# :: T# -> T# -> T# rem# :: T# -> T# -> T# gt# :: T# -> T# -> Int# lt# :: T# -> T# -> Int# gte# :: T# -> T# -> Int# lte# :: T# -> T# -> Int# eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# gt :: T -> T -> Bool lt :: T -> T -> Bool gte :: T -> T -> Bool lte :: T -> T -> Bool eq :: T -> T -> Bool neq :: T -> T -> Bool read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# read :: MutableByteArray s -> Int -> ST s T write :: MutableByteArray s -> Int -> T -> ST s () index :: ByteArray -> Int -> T uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) uninitialized :: Int -> ST s (MutableByteArray s) initialized :: Int -> T -> ST s (MutableByteArray s) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) shrink :: MutableByteArray s -> Int -> ST s (MutableByteArray s) zero :: T def :: T minBound :: T maxBound :: T infimum :: T supremum :: T signed :: Bool shows :: T -> String -> String module Basics.Int8 type T = Int8 type T# = Int# type R = 'IntRep lift :: T# -> T unlift :: T -> T# gt# :: T# -> T# -> Int# lt# :: T# -> T# -> Int# gte# :: T# -> T# -> Int# lte# :: T# -> T# -> Int# eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# gt :: T -> T -> Bool lt :: T -> T -> Bool gte :: T -> T -> Bool lte :: T -> T -> Bool eq :: T -> T -> Bool neq :: T -> T -> Bool read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) uninitialized :: Int -> ST s (MutableByteArray s) initialized :: Int -> T -> ST s (MutableByteArray s) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) zero :: T def :: T signed :: Bool size :: Int shows :: T -> String -> String module Basics.ShortText type T = ShortText type T# = ByteArray# type R = 'BoxedRep 'Unlifted lift :: T# -> T unlift :: T -> T# read# :: MutableArrayArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableArrayArray# s -> Int# -> T# -> State# s -> State# s index# :: ArrayArray# -> Int# -> T# -- | This is very unsafe. uninitialized# :: Int# -> State# s -> (# State# s, MutableArrayArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableArrayArray# s #) copy# :: MutableArrayArray# s -> Int# -> ArrayArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableArrayArray# s -> Int# -> MutableArrayArray# s -> Int# -> Int# -> State# s -> State# s set# :: MutableArrayArray# s -> Int# -> Int# -> T# -> State# s -> State# s shrink# :: MutableArrayArray# s -> Int# -> State# s -> (# State# s, MutableArrayArray# s #) eq# :: ByteArray# -> ByteArray# -> Int# neq# :: ByteArray# -> ByteArray# -> Int# shows :: T -> String -> String module Basics.ShortTexts type T = UnliftedArray ShortText type T# = ArrayArray# type R = 'BoxedRep 'Unlifted lift :: T# -> T unlift :: T -> T# read# :: MutableArrayArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableArrayArray# s -> Int# -> T# -> State# s -> State# s index# :: ArrayArray# -> Int# -> T# -- | This is very unsafe. uninitialized# :: Int# -> State# s -> (# State# s, MutableArrayArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableArrayArray# s #) copy# :: MutableArrayArray# s -> Int# -> ArrayArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableArrayArray# s -> Int# -> MutableArrayArray# s -> Int# -> Int# -> State# s -> State# s set# :: MutableArrayArray# s -> Int# -> Int# -> T# -> State# s -> State# s shrink# :: MutableArrayArray# s -> Int# -> State# s -> (# State# s, MutableArrayArray# s #) eq# :: ArrayArray# -> ArrayArray# -> Int# neq# :: ArrayArray# -> ArrayArray# -> Int# shows :: T -> String -> String module Basics.Word type T = Word type T# = Word# type R = 'WordRep lift :: T# -> T unlift :: T -> T# plus :: T -> T -> T minus :: T -> T -> T plus# :: T# -> T# -> T# minus# :: T# -> T# -> T# times# :: T# -> T# -> T# quot# :: T# -> T# -> T# rem# :: T# -> T# -> T# gt# :: T# -> T# -> Int# lt# :: T# -> T# -> Int# gte# :: T# -> T# -> Int# lte# :: T# -> T# -> Int# eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) writeByteArray# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s indexByteArray# :: ByteArray# -> Int# -> T# shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) signed :: Bool size :: Int module Basics.Word128 type T = Word128 type T# = (# Word#, Word# #) type R = 'TupleRep '[ 'WordRep, 'WordRep] lift :: T# -> T unlift :: T -> T# eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# lt# :: T# -> T# -> Int# lte# :: T# -> T# -> Int# gt# :: T# -> T# -> Int# gt :: T -> T -> Bool gte :: T -> T -> Bool lt :: T -> T -> Bool lte :: T -> T -> Bool eq :: T -> T -> Bool neq :: T -> T -> Bool minus# :: T# -> T# -> T# quot# :: T# -> T# -> T# read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# read :: MutableByteArray s -> Int -> ST s T write :: MutableByteArray s -> Int -> T -> ST s () index :: ByteArray -> Int -> T set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) uninitialized :: Int -> ST s (MutableByteArray s) initialized :: Int -> T -> ST s (MutableByteArray s) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) shrink :: MutableByteArray s -> Int -> ST s (MutableByteArray s) def :: T zero :: T minBound :: T maxBound :: T size :: Int shows :: T -> String -> String module Basics.Word128s type T = PrimArray Word128 type T# = ByteArray# type R = 'BoxedRep 'Unlifted lift :: T# -> T unlift :: T -> T# read# :: MutableArrayArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableArrayArray# s -> Int# -> T# -> State# s -> State# s index# :: ArrayArray# -> Int# -> T# -- | This is very unsafe. uninitialized# :: Int# -> State# s -> (# State# s, MutableArrayArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableArrayArray# s #) copy# :: MutableArrayArray# s -> Int# -> ArrayArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableArrayArray# s -> Int# -> MutableArrayArray# s -> Int# -> Int# -> State# s -> State# s set# :: MutableArrayArray# s -> Int# -> Int# -> T# -> State# s -> State# s shrink# :: MutableArrayArray# s -> Int# -> State# s -> (# State# s, MutableArrayArray# s #) eq# :: ByteArray# -> ByteArray# -> Int# neq# :: ByteArray# -> ByteArray# -> Int# shows :: T -> String -> String module Basics.Word16 type T = Word16 type T# = Word# type R = 'WordRep lift :: T# -> T unlift :: T -> T# plus :: T -> T -> T minus :: T -> T -> T plus# :: T# -> T# -> T# minus# :: T# -> T# -> T# times# :: T# -> T# -> T# quot# :: T# -> T# -> T# rem# :: T# -> T# -> T# gt# :: T# -> T# -> Int# lt# :: T# -> T# -> Int# gte# :: T# -> T# -> Int# lte# :: T# -> T# -> Int# eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# gt :: T -> T -> Bool lt :: T -> T -> Bool gte :: T -> T -> Bool lte :: T -> T -> Bool eq :: T -> T -> Bool neq :: T -> T -> Bool read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# read :: MutableByteArray s -> Int -> ST s T write :: MutableByteArray s -> Int -> T -> ST s () index :: ByteArray -> Int -> T uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) uninitialized :: Int -> ST s (MutableByteArray s) initialized :: Int -> T -> ST s (MutableByteArray s) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) shrink :: MutableByteArray s -> Int -> ST s (MutableByteArray s) def :: T zero :: T maxBound :: T minBound :: T signed :: Bool size :: Int shows :: T -> String -> String module Basics.Word256 type T = Word256 type T# = (# Word#, Word#, Word#, Word# #) type R = 'TupleRep '[ 'WordRep, 'WordRep, 'WordRep, 'WordRep] lift :: T# -> T unlift :: T -> T# read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# shows :: T -> String -> String module Basics.Word32 type T = Word32 type T# = Word# type R = 'WordRep lift :: T# -> T unlift :: T -> T# gt# :: T# -> T# -> Int# lt# :: T# -> T# -> Int# gte# :: T# -> T# -> Int# lte# :: T# -> T# -> Int# eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# gt :: T -> T -> Bool lt :: T -> T -> Bool gte :: T -> T -> Bool lte :: T -> T -> Bool eq :: T -> T -> Bool neq :: T -> T -> Bool minus# :: T# -> T# -> T# quot# :: T# -> T# -> T# rem# :: T# -> T# -> T# read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# read :: MutableByteArray s -> Int -> ST s T write :: MutableByteArray s -> Int -> T -> ST s () index :: ByteArray -> Int -> T uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) uninitialized :: Int -> ST s (MutableByteArray s) initialized :: Int -> T -> ST s (MutableByteArray s) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) shrink :: MutableByteArray s -> Int -> ST s (MutableByteArray s) zero :: T def :: T maxBound :: T minBound :: T signed :: Bool size :: Int shows :: T -> String -> String module Basics.Word64 type T = Word64 type T# = Word# type R = 'WordRep lift :: T# -> T unlift :: T -> T# plus :: T -> T -> T minus :: T -> T -> T plus# :: T# -> T# -> T# minus# :: T# -> T# -> T# times# :: T# -> T# -> T# quot# :: T# -> T# -> T# rem# :: T# -> T# -> T# gt# :: T# -> T# -> Int# lt# :: T# -> T# -> Int# gte# :: T# -> T# -> Int# lte# :: T# -> T# -> Int# eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# gt :: T -> T -> Bool lt :: T -> T -> Bool gte :: T -> T -> Bool lte :: T -> T -> Bool eq :: T -> T -> Bool neq :: T -> T -> Bool read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# read :: MutableByteArray s -> Int -> ST s T write :: MutableByteArray s -> Int -> T -> ST s () index :: ByteArray -> Int -> T uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) uninitialized :: Int -> ST s (MutableByteArray s) initialized :: Int -> T -> ST s (MutableByteArray s) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) shrink :: MutableByteArray s -> Int -> ST s (MutableByteArray s) zero :: T def :: T maxBound :: T minBound :: T signed :: Bool size :: Int shows :: T -> String -> String module Basics.Word8 type T = Word8 type T# = Word# type R = 'WordRep lift :: T# -> T unlift :: T -> T# minus# :: T# -> T# -> T# quot# :: T# -> T# -> T# rem# :: T# -> T# -> T# gt# :: T# -> T# -> Int# lt# :: T# -> T# -> Int# gte# :: T# -> T# -> Int# lte# :: T# -> T# -> Int# eq# :: T# -> T# -> Int# neq# :: T# -> T# -> Int# gt :: T -> T -> Bool lt :: T -> T -> Bool gte :: T -> T -> Bool lte :: T -> T -> Bool eq :: T -> T -> Bool neq :: T -> T -> Bool read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #) write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s index# :: ByteArray# -> Int# -> T# set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #) initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #) uninitialized :: Int -> ST s (MutableByteArray s) initialized :: Int -> T -> ST s (MutableByteArray s) copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #) zero :: T def :: T maxBound :: T minBound :: T signed :: Bool size :: Int shows :: T -> String -> String