Bookkeeper.Permissions.Examples

Documentation

data Admin

Constructors

Admin

data Auth

Constructors

Auth

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]

person :: Person

test_insert :: Person

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

test_insert' :: Person

test_modify :: Person