ghc/lib/prelude/PS_t.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface PreludePS where
   3 import PreludeArray(_ByteArray)
   4 import PreludeBuiltin(Char(..), Int(..), List(..), Tuple0, Tuple2, _Addr(..), _RealWorld(..), _State(..))
   5 import PreludeCore(Bool(..), Eq(..), Ord(..), Text(..))
   6 import Stdio(_FILE)
   7 data _FILE      {-# GHC_PRAGMA _FILE Addr# #-}
   8 data _PackedString      {-# GHC_PRAGMA _PS ByteArray# Int# Bool | _CPS Addr# Int# #-}
   9 _appendPS :: _PackedString -> _PackedString -> _PackedString
  10         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ #-}
  11 _breakPS :: (Char -> Bool) -> _PackedString -> (_PackedString, _PackedString)
  12         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ #-}
  13 _byteArrayToPS :: _ByteArray Int -> _PackedString
  14         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "U(U(U(P)U(P))P)" {_A_ 3 _U_ 222 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  15 _concatPS :: [_PackedString] -> _PackedString
  16         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ #-}
  17 _consPS :: Char -> _PackedString -> _PackedString
  18         {-# GHC_PRAGMA _A_ 2 _U_ 21 _N_ _N_ _N_ _N_ #-}
  19 _dropPS :: Int -> _PackedString -> _PackedString
  20         {-# GHC_PRAGMA _A_ 2 _U_ 12 _N_ _S_ "U(P)S" {_A_ 2 _U_ 22 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  21 _dropWhilePS :: (Char -> Bool) -> _PackedString -> _PackedString
  22         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "LS" _N_ _N_ #-}
  23 _filterPS :: (Char -> Bool) -> _PackedString -> _PackedString
  24         {-# GHC_PRAGMA _A_ 2 _U_ 21 _N_ _S_ "LS" _N_ _N_ #-}
  25 _foldlPS :: (a -> Char -> a) -> a -> _PackedString -> a
  26         {-# GHC_PRAGMA _A_ 3 _U_ 221 _N_ _S_ "LLS" _N_ _N_ #-}
  27 _foldrPS :: (Char -> a -> a) -> a -> _PackedString -> a
  28         {-# GHC_PRAGMA _A_ 3 _U_ 221 _N_ _S_ "LLS" _N_ _N_ #-}
  29 _headPS :: _PackedString -> Char
  30         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ #-}
  31 _indexPS :: _PackedString -> Int -> Char
  32         {-# GHC_PRAGMA _A_ 2 _U_ 11 _N_ _S_ "SU(P)" {_A_ 2 _U_ 12 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  33 _lengthPS :: _PackedString -> Int
  34         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _F_ _IF_ARGS_ 0 1 C 6 \ (u0 :: _PackedString) -> case u0 of { _ALG_ _PS (u1 :: ByteArray#) (u2 :: Int#) (u3 :: Bool) -> _!_ I# [] [u2]; _CPS (u4 :: Addr#) (u5 :: Int#) -> _!_ I# [] [u5]; _NO_DEFLT_ } _N_ #-}
  35 _linesPS :: _PackedString -> [_PackedString]
  36         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
  37 _mapPS :: (Char -> Char) -> _PackedString -> _PackedString
  38         {-# GHC_PRAGMA _A_ 2 _U_ 21 _N_ _S_ "LS" _N_ _N_ #-}
  39 _nilPS :: _PackedString
  40         {-# GHC_PRAGMA _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 3 _!_ _CPS [] [""#, 0#] _N_ #-}
  41 _nullPS :: _PackedString -> Bool
  42         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _F_ _IF_ARGS_ 0 1 C 6 \ (u0 :: _PackedString) -> case u0 of { _ALG_ _PS (u1 :: ByteArray#) (u2 :: Int#) (u3 :: Bool) -> case u2 of { _PRIM_ 0# -> _!_ True [] []; (u4 :: Int#) -> _!_ False [] [] }; _CPS (u5 :: Addr#) (u6 :: Int#) -> case u6 of { _PRIM_ 0# -> _!_ True [] []; (u7 :: Int#) -> _!_ False [] [] }; _NO_DEFLT_ } _N_ #-}
  43 _packBytesForC :: [Char] -> _ByteArray Int
  44         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ #-}
  45 _packBytesForCST :: [Char] -> _State a -> (_ByteArray Int, _State a)
  46         {-# GHC_PRAGMA _A_ 1 _U_ 22 _N_ _S_ "S" _N_ _N_ #-}
  47 _packCBytes :: Int -> _Addr -> _PackedString
  48         {-# GHC_PRAGMA _A_ 2 _U_ 11 _N_ _S_ "U(P)U(P)" {_A_ 2 _U_ 22 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  49 _packCBytesST :: Int -> _Addr -> _State a -> (_PackedString, _State a)
  50         {-# GHC_PRAGMA _A_ 2 _U_ 112 _N_ _S_ "U(P)U(P)" {_A_ 3 _U_ 221 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  51 _packCString :: _Addr -> _PackedString
  52         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "U(P)" {_A_ 1 _U_ 2 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  53 _packString :: [Char] -> _PackedString
  54         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ #-}
  55 _packStringForC :: [Char] -> ByteArray#
  56         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ #-}
  57 _packStringST :: [Char] -> _State a -> (_PackedString, _State a)
  58         {-# GHC_PRAGMA _A_ 1 _U_ 22 _N_ _S_ "S" _N_ _N_ #-}
  59 _psToByteArray :: _PackedString -> _ByteArray Int
  60         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
  61 _putPS :: _FILE -> _PackedString -> _State _RealWorld -> ((), _State _RealWorld)
  62         {-# GHC_PRAGMA _A_ 3 _U_ 111 _N_ _S_ "LSU(P)" {_A_ 3 _U_ 112 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  63 _reversePS :: _PackedString -> _PackedString
  64         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
  65 _spanPS :: (Char -> Bool) -> _PackedString -> (_PackedString, _PackedString)
  66         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ #-}
  67 _splitAtPS :: Int -> _PackedString -> (_PackedString, _PackedString)
  68         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ #-}
  69 _substrPS :: _PackedString -> Int -> Int -> _PackedString
  70         {-# GHC_PRAGMA _A_ 3 _U_ 211 _N_ _S_ "SU(P)U(P)" {_A_ 3 _U_ 222 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  71 _tailPS :: _PackedString -> _PackedString
  72         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ #-}
  73 _takePS :: Int -> _PackedString -> _PackedString
  74         {-# GHC_PRAGMA _A_ 2 _U_ 12 _N_ _S_ "U(P)S" {_A_ 2 _U_ 22 _N_ _N_ _F_ _IF_ARGS_ 0 2 XX 5 \ (u0 :: Int#) (u1 :: _PackedString) -> case _#_ minusInt# [] [u0, 1#] of { _PRIM_ (u2 :: Int#) -> _APP_  _WRKR_ _ORIG_ PreludePS _substrPS [ u1, 0#, u2 ] } _N_} _F_ _ALWAYS_ \ (u0 :: Int) (u1 :: _PackedString) -> case u0 of { _ALG_ I# (u2 :: Int#) -> case _#_ minusInt# [] [u2, 1#] of { _PRIM_ (u3 :: Int#) -> _APP_  _WRKR_ _ORIG_ PreludePS _substrPS [ u1, 0#, u3 ] }; _NO_DEFLT_ } _N_ #-}
  75 _takeWhilePS :: (Char -> Bool) -> _PackedString -> _PackedString
  76         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "LS" _N_ _N_ #-}
  77 _unpackPS :: _PackedString -> [Char]
  78         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
  79 _unsafeByteArrayToPS :: _ByteArray a -> Int -> _PackedString
  80         {-# GHC_PRAGMA _A_ 2 _U_ 11 _N_ _S_ "U(AP)U(P)" {_A_ 2 _U_ 22 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  81 _wordsPS :: _PackedString -> [_PackedString]
  82         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
  83 unpackPS# :: Addr# -> [Char]
  84         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "P" _N_ _N_ #-}
  85 instance Eq _PackedString
  86         {-# GHC_PRAGMA _M_ PreludePS {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 3 _!_ _TUP_2 [(_PackedString -> _PackedString -> Bool), (_PackedString -> _PackedString -> Bool)] [_CONSTM_ Eq (==) (_PackedString), _CONSTM_ Eq (/=) (_PackedString)] _N_
  87          (==) = _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_,
  88          (/=) = _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ #-}
  89 instance Ord _PackedString
  90         {-# GHC_PRAGMA _M_ PreludePS {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 9 _!_ _TUP_8 [{{Eq _PackedString}}, (_PackedString -> _PackedString -> Bool), (_PackedString -> _PackedString -> Bool), (_PackedString -> _PackedString -> Bool), (_PackedString -> _PackedString -> Bool), (_PackedString -> _PackedString -> _PackedString), (_PackedString -> _PackedString -> _PackedString), (_PackedString -> _PackedString -> _CMP_TAG)] [_DFUN_ Eq (_PackedString), _CONSTM_ Ord (<) (_PackedString), _CONSTM_ Ord (<=) (_PackedString), _CONSTM_ Ord (>=) (_PackedString), _CONSTM_ Ord (>) (_PackedString), _CONSTM_ Ord max (_PackedString), _CONSTM_ Ord min (_PackedString), _CONSTM_ Ord _tagCmp (_PackedString)] _N_
  91          (<) = _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_,
  92          (<=) = _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_,
  93          (>=) = _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_,
  94          (>) = _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_,
  95          max = _A_ 2 _U_ 22 _N_ _N_ _N_ _N_,
  96          min = _A_ 2 _U_ 22 _N_ _N_ _N_ _N_,
  97          _tagCmp = _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ #-}
  98 instance Text _PackedString
  99         {-# GHC_PRAGMA _M_ PreludePS {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 5 _!_ _TUP_4 [(Int -> [Char] -> [(_PackedString, [Char])]), (Int -> _PackedString -> [Char] -> [Char]), ([Char] -> [([_PackedString], [Char])]), ([_PackedString] -> [Char] -> [Char])] [_CONSTM_ Text readsPrec (_PackedString), _CONSTM_ Text showsPrec (_PackedString), _CONSTM_ Text readList (_PackedString), _CONSTM_ Text showList (_PackedString)] _N_
 100          readsPrec = _A_ 2 _U_ 02 _N_ _S_ _!_ _F_ _IF_ARGS_ 0 2 XX 3 \ (u0 :: Int) (u1 :: [Char]) -> _APP_  _TYAPP_  error { ([Char] -> [(_PackedString, [Char])]) } [ _NOREP_S_ "readsPrec: _PackedString: ToDo", u1 ] _N_,
 101          showsPrec = _A_ 3 _U_ 012 _N_ _S_ "ALL" {_A_ 2 _U_ 12 _N_ _N_ _N_ _N_} _F_ _IF_ARGS_ 0 3 XXX 6 \ (u0 :: Int) (u1 :: _PackedString) (u2 :: [Char]) -> let {(u3 :: [Char]) = _APP_  _ORIG_ PreludePS _unpackPS [ u1 ]} in _APP_  _CONSTM_ Text showList (Char) [ u3, u2 ] _N_,
 102          readList = _A_ 0 _U_ 2 _N_ _N_ _N_ _N_,
 103          showList = _A_ 0 _U_ 12 _N_ _N_ _N_ _N_ #-}
 104