(
Size: a a a
(
(
(
VY
VY
(
ЗП
showBaseTypeAlg = VF.onMatch
{ tint: \TIntF -> "TInt"
, tstring: \TStringF -> "TString"
}
showBaseTypeWithArrowAlg = VF.on _tarrow \(TArrowF x y) -> "(" <> x <> " -> " <> y <> ")"
showType = cata (VF.case_ # showBaseTypeAlg >>> showBaseTypeWithArrowAlg)
(
spec :: Spec Unit
spec =
describe "MonadExamples" do
describe "ReadConfig specs" do
it "should handle file not found" do --compilation error here
result <- getPort "path/unknown"
let
err = unsafePartial $ fromLeft result
err `shouldEqual` "errorText"
getPort :: String -> Effect (Either String Int), не могу понять, почему компилятор ругаетсяVY
VY
(
main :: Effect Unitтест запускается в main-e
main =
launchAff_ do
specs <- discover ".*Spec"
runSpec [ specReporter ] specs
(
(
VY
... <- liftEffect $ что-тоVY
result <- liftEffect $ getPort "path/unknown"
(
DD
VY
DD
DD