napkin-1.0.0
Safe HaskellNone
LanguageGHC2021

Data.Data.Oracle

Documentation

hitTest :: (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 #