Test.Goblin.Explainer
explainGoblin :: (Goblin Bool s, ToExpr s) => s -> GoblinData Bool -> Maybe (Edit EditExpr, GoblinData Bool) Source #
explainGoblinGen :: (Goblin Bool s, ToExpr s) => Maybe Size -> Maybe Seed -> Gen s -> GoblinData Bool -> Maybe (s, s, Edit EditExpr, GoblinData Bool) Source #
explainGoblinGenFromFile :: (Goblin Bool s, ToExpr s) => Maybe Size -> Maybe Seed -> Gen s -> FilePath -> IO (Maybe (s, s, Edit EditExpr, GoblinData Bool)) Source #