Searched defs:fromOracle (Results 1 – 13 of 13) sorted by relevance
377 newtype Oracle a = Oracle { fromOracle :: forall t. Typeable t => t -> Answer t a } function
388 newtype Oracle a = Oracle { fromOracle :: forall t. Typeable t => t -> Answer t a } function
59 data Oracle to = Oracle {fromOracle :: forall on . Typeable on => on -> Answer to} function
115 data Oracle to = Oracle {fromOracle :: forall on . Typeable on => on -> Answer to} function