KiCS-0.9.3: A compiler from Curry to Haskell

Safe HaskellSafe-Infered

Curry.Module.Parser

Documentation

type C_Parser t0 = List t0 -> List t0Source

type C_ParserRep t0 t1 = t0 -> List t1 -> List t1Source

op_60_124_62 :: Curry t0 => Prim (List t0 -> State -> List t0) -> Prim (List t0 -> State -> List t0) -> State -> Prim (List t0 -> State -> List t0)Source

c_'60'124'62'46_'35lambda2 :: Curry t2 => Prim (List t2 -> State -> List t2) -> List t2 -> State -> List t2Source

c_'60'124'62'46_'35lambda3 :: Curry t2 => Prim (List t2 -> State -> List t2) -> List t2 -> State -> List t2Source

op_60_124_124_62 :: (Curry t0, Curry t1) => Prim (t0 -> State -> Prim (List t1 -> State -> List t1)) -> Prim (t0 -> State -> Prim (List t1 -> State -> List t1)) -> State -> Prim (t0 -> State -> Prim (List t1 -> State -> List t1))Source

c_'60'124'124'62'46_'35lambda4 :: (Curry t17, Curry t18) => Prim (t17 -> State -> Prim (List t18 -> State -> List t18)) -> Prim (t17 -> State -> Prim (List t18 -> State -> List t18)) -> t17 -> State -> Prim (List t18 -> State -> List t18)Source

op_60_42_62 :: Curry t0 => Prim (List t0 -> State -> List t0) -> Prim (List t0 -> State -> List t0) -> State -> Prim (List t0 -> State -> List t0)Source

c_'60'42'62'46seq'4614 :: Curry t23 => Prim (List t23 -> State -> List t23) -> Prim (List t23 -> State -> List t23) -> List t23 -> State -> List t23Source

op_62_62_62 :: (Curry t0, Curry t1) => Prim (List t0 -> State -> List t0) -> t1 -> t1 -> List t0 -> State -> List t0Source

c_'62'62'62'46attach'4618 :: (Curry t36, Curry t0) => t36 -> t36 -> t0 -> State -> t0Source

c_empty :: Curry t0 => List t0 -> State -> List t0Source

c_terminal :: Curry t0 => t0 -> List t0 -> State -> List t0Source

c_satisfy :: Curry t0 => Prim (t0 -> State -> C_Bool) -> t0 -> List t0 -> State -> List t0Source

c_star :: (Curry t0, Curry t1) => Prim (t0 -> State -> Prim (List t1 -> State -> List t1)) -> State -> Prim (List t0 -> State -> Prim (List t1 -> State -> List t1))Source

c_some :: (Curry t0, Curry t1) => Prim (t0 -> State -> Prim (List t1 -> State -> List t1)) -> State -> Prim (List t0 -> State -> Prim (List t1 -> State -> List t1))Source