compile-fail-tests/RunLayerOpenRowMissingDep.purs · rowtype-yoga/purescript-yoga-om-layer

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

on main help sign in

19 lines 482 B history raw

1-- EXPECT: Prim.RowList.RowToList

2module Yoga.Om.Layer.CompileFailTest where

4import Prelude

6import Yoga.Om as Om

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

9type Fastify = String

10type Connection = String

12apiLayer :: forall r. OmLayer (fastify :: Fastify, sqlite :: Connection | r) () {}

13apiLayer = makeLayer do

14 { fastify, sqlite } <- Om.ask

15 let _ = fastify <> sqlite

16 pure {}

18bad :: Om.Om { fastify :: Fastify } () {}

19bad = runLayer { fastify: "server" } apiLayer