Verified Commit 8fab6010 authored by Camil Staps's avatar Camil Staps 🐧

Make distance Maybe Real (Nothing for exact results)

parent 6379c202
......@@ -64,7 +64,7 @@ from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode
, dcl_line :: Maybe Int //* The line in the definition module of this entry
, icl_line :: Maybe Int //* The line in the implementation module of this entry
, name :: String //* The name of the entry
, distance :: Real //* A distancy measure, lower is more relevant
, distance :: Maybe Real //* A distancy measure, lower is more relevant
, builtin :: Maybe Bool //* Whether this is a builtin function
, documentation :: Maybe String //* The CleanDoc description for this result
, langrep_documentation :: Maybe [CleanLangReportLocation] //* Documentation in the Clean language report
......
......@@ -13,6 +13,7 @@ import Data.Error
from Data.Func import $
import Data.Functor
import Data.Maybe
import Data.Maybe.Ord
from Text import class Text(join,split,trim), instance Text String,
instance + String, <+
import Text.GenJSON
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment