speculate-0.3.5: eg/monad.hs

import Test.Speculate
import Test.Speculate.Function.A100

import Control.Monad ((>=>))

type A = Int
type B = Int
type C = Int

main :: IO ()
main = speculate args
  { instances = [ins "f" (int >- [int])]
  , constants =
      [ hole (int >- [int])
      , constant "return" (return :: A -> [A])
      , constant ">>="    ((>>=) :: [A] -> (A -> [B]) -> [B])
      , constant ">=>"    ((>=>) :: (A -> [B]) -> (B -> [C]) -> (A -> [C]))
      ]
  }