picologic-0.1: Utilities for symbolic predicate logic expressions
Picologic.Lexer
type Parser = ParsecT String () IdentitySource
type Op = Operator String () IdentitySource
contents :: Parser a -> Parser aSource
parens :: Parser a -> Parser aSource
reservedOp :: String -> Parser ()Source
reserved :: String -> Parser ()Source
identifier :: Parser StringSource