test-negative/MissingLogger.purs · rowtype-yoga/purescript-yoga-om-layer

git.iko.soy/rowtype-yoga/purescript-yoga-om-layer

on v1.2.0 help sign in

20 lines 715 B history raw

1module Test.Negative.MissingLogger where

3import Prelude

4import Effect (Effect)

5import Yoga.Om (Om)

6import Yoga.Om as Om

7import Yoga.Om.Layer (OmLayer, makeLayer, runLayer)

9type Config = { port :: Int }

10type Logger = { log :: String -> Effect Unit }

11type Database = { query :: String -> Effect (Array String) }

13needsBoth :: OmLayer (config :: Config, logger :: Logger) (database :: Database) ()

14needsBoth = makeLayer do

15 { config, logger } <- Om.ask

16 pure { database: { query: \_ -> pure [] } }

18-- This should NOT compile - we provide config but not logger

19testMissingLogger :: Om (Record (config :: Config)) () (Record (database :: Database))

20testMissingLogger = runLayer { config: { port: 5432 } } needsBoth