Documentation

data Admin Source #

data Auth Source #

type Person = Book '["name" :=> Permission '["modify" :=> (Admin :&: Auth), "insert" :=> Auth] String, "age" :=> Permission '["modify" :=> Auth, "insert" :=> Auth] Int, "bff" :=> Permission '["modify" :=> Admin, "insert" :=> Auth] (Book '["forever" :=> Permission '["modify" :=> Admin, "insert" :=> Auth] Bool]), "key" :=> Permission '["read" :=> Admin, "modify" :=> Admin, "insert" :=> Auth] String] Source #

person :: Person Source #

test_insert :: Person Source #

insertKey :: Book' (old :\ "key") -> Book' old Source #

test_insert' :: Person Source #

test_modify :: Person Source #