blob: a554bbc60510f57a78ae6eaa3621f802dadac032 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
interface Lexer_Combinators where
import Lexer_State(Lexer_State)
and_also :: (Lexer_State -> (b, Lexer_State)) -> (Lexer_State -> (a, Lexer_State)) -> Lexer_State -> (b, Lexer_State)
{-# ARITY and_also = 3 #-}
and_then :: (Lexer_State -> (a, Lexer_State)) -> (Lexer_State -> (b, Lexer_State)) -> Lexer_State -> (b, Lexer_State)
{-# ARITY and_then = 3 #-}
and_with :: (Lexer_State -> (a, Lexer_State)) -> (a -> Lexer_State -> (b, Lexer_State)) -> Lexer_State -> (b, Lexer_State)
{-# ARITY and_with = 3 #-}
return :: a -> Lexer_State -> (a, Lexer_State)
{-# ARITY return = 2 #-}
|
