Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hsmtlib.Solvers.Cmd.Parser.Parsers
Documentation
(<:>) :: Applicative f => f a -> f [a] -> f [a] Source
(<++>) :: Applicative f => f [a] -> f [a] -> f [a] Source
Hsmtlib-0.2.0.6: Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hsmtlib.Solvers.Cmd.Parser.Parsers
(<:>) :: Applicative f => f a -> f [a] -> f [a] Source
(<++>) :: Applicative f => f [a] -> f [a] -> f [a] Source