napkin-0.5.14
Safe HaskellSafe-Inferred
LanguageGHC2021

Data.Data.Oracle

Documentation

hitTest :: forall a b. (Data a, Typeable b) => Oracle b #

data Answer b a #

Constructors

b ~ a => Hit a 
Follow 
Miss 

Instances

Instances details
Show (Answer b a) # 
Instance details

Defined in Data.Data.Oracle

Methods

showsPrec :: Int -> Answer b a -> ShowS #

show :: Answer b a -> String #

showList :: [Answer b a] -> ShowS #

shouldFollow :: Answer b a -> Bool #

data Oracle a #