Data.Bytes.Parser.Rebindable

Provides levity-polymorphic variants of >>=, >>, and pure used to assemble parsers whose result types are unlifted. This cannot be used with the RebindableSyntax extension because that extension disallows representations other than LiftedRep. Consequently, users of this module must manually desugar do notation. See the url-bytes library for an example of this module in action.

Only resort to the functions in this module after checking that GHC is unable to optimize away I# and friends in your code.

Documentation

class Bind (ra :: RuntimeRep) (rb :: RuntimeRep) where

Methods

(>>=) :: forall e s (a :: TYPE ra) (b :: TYPE rb). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE ra) (b :: TYPE rb). Parser e s a -> Parser e s b -> Parser e s b

Instances

Bind 'IntRep LiftedRep

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE 'IntRep) (b :: TYPE LiftedRep). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE 'IntRep) (b :: TYPE LiftedRep). Parser e s a -> Parser e s b -> Parser e s b

Bind LiftedRep 'IntRep

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE LiftedRep) (b :: TYPE 'IntRep). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE LiftedRep) (b :: TYPE 'IntRep). Parser e s a -> Parser e s b -> Parser e s b

Bind LiftedRep LiftedRep

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE LiftedRep) (b :: TYPE LiftedRep). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE LiftedRep) (b :: TYPE LiftedRep). Parser e s a -> Parser e s b -> Parser e s b

Bind 'WordRep LiftedRep

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE 'WordRep) (b :: TYPE LiftedRep). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE 'WordRep) (b :: TYPE LiftedRep). Parser e s a -> Parser e s b -> Parser e s b

Bind 'IntRep ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE 'IntRep) (b :: TYPE ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE 'IntRep) (b :: TYPE ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])). Parser e s a -> Parser e s b -> Parser e s b

Bind 'IntRep ('TupleRep '['IntRep, 'IntRep])

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE 'IntRep) (b :: TYPE ('TupleRep '['IntRep, 'IntRep])). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE 'IntRep) (b :: TYPE ('TupleRep '['IntRep, 'IntRep])). Parser e s a -> Parser e s b -> Parser e s b

Bind LiftedRep ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE LiftedRep) (b :: TYPE ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE LiftedRep) (b :: TYPE ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])). Parser e s a -> Parser e s b -> Parser e s b

Bind LiftedRep ('TupleRep '['IntRep, 'IntRep])

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE LiftedRep) (b :: TYPE ('TupleRep '['IntRep, 'IntRep])). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE LiftedRep) (b :: TYPE ('TupleRep '['IntRep, 'IntRep])). Parser e s a -> Parser e s b -> Parser e s b

Bind ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep]) LiftedRep

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])) (b :: TYPE LiftedRep). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])) (b :: TYPE LiftedRep). Parser e s a -> Parser e s b -> Parser e s b

Bind ('TupleRep '['IntRep, 'IntRep]) LiftedRep

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE ('TupleRep '['IntRep, 'IntRep])) (b :: TYPE LiftedRep). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE ('TupleRep '['IntRep, 'IntRep])) (b :: TYPE LiftedRep). Parser e s a -> Parser e s b -> Parser e s b

Bind ('TupleRep '['IntRep, 'IntRep]) ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])

Defined in Data.Bytes.Parser.Rebindable

Methods

(>>=) :: forall e s (a :: TYPE ('TupleRep '['IntRep, 'IntRep])) (b :: TYPE ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])). Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: forall e s (a :: TYPE ('TupleRep '['IntRep, 'IntRep])) (b :: TYPE ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])). Parser e s a -> Parser e s b -> Parser e s b

class Pure (ra :: RuntimeRep) where

Methods

pure :: forall e s (a :: TYPE ra). a -> Parser e s a

Instances

Pure 'IntRep

Defined in Data.Bytes.Parser.Rebindable

Methods

pure :: forall e s (a :: TYPE 'IntRep). a -> Parser e s a

Pure LiftedRep

Defined in Data.Bytes.Parser.Rebindable

Methods

pure :: forall e s (a :: TYPE LiftedRep). a -> Parser e s a

Pure ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])

Defined in Data.Bytes.Parser.Rebindable

Methods

pure :: forall e s (a :: TYPE ('TupleRep '['IntRep, 'IntRep, 'IntRep, 'IntRep, 'IntRep])). a -> Parser e s a

Pure ('TupleRep '['IntRep, 'IntRep])

Defined in Data.Bytes.Parser.Rebindable

Methods

pure :: forall e s (a :: TYPE ('TupleRep '['IntRep, 'IntRep])). a -> Parser e s a