Verified Commit a19e2a1a authored by Camil Staps's avatar Camil Staps 🚀

Export strictness information

parent 1c6953e7
...@@ -314,5 +314,5 @@ instance < Result ...@@ -314,5 +314,5 @@ instance < Result
instance == FunctionKind instance == FunctionKind
toSingleLine :: Request -> Maybe String toSingleLine :: !Request -> Maybe String
parseSingleLineRequest :: String -> MaybeErrorString Request parseSingleLineRequest :: !String -> MaybeErrorString Request
...@@ -135,14 +135,14 @@ where ...@@ -135,14 +135,14 @@ where
instance == FunctionKind where == a b = a === b instance == FunctionKind where == a b = a === b
parseSingleLineRequest :: String -> MaybeErrorString Request parseSingleLineRequest :: !String -> MaybeErrorString Request
parseSingleLineRequest s = case split "::" s of parseSingleLineRequest s = case split "::" s of
["",type] -> Ok {zero & unify=Just $ trim type} ["",type] -> Ok {zero & unify=Just $ trim type}
[name,type] -> Ok {zero & name=Just $ trim name, unify=Just $ trim type} [name,type] -> Ok {zero & name=Just $ trim name, unify=Just $ trim type}
[name] -> Ok {Request | zero & name=Just $ trim name} [name] -> Ok {Request | zero & name=Just $ trim name}
_ -> Error "Multiple ::s found" _ -> Error "Multiple ::s found"
toSingleLine :: Request -> Maybe String toSingleLine :: !Request -> Maybe String
toSingleLine req toSingleLine req
| isJust req.typeName && isJust req.className = Nothing | isJust req.typeName && isJust req.className = Nothing
| isJust req.typeName = req.typeName | isJust req.typeName = req.typeName
......
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