/Prelude-v23.0.0/DirectoryTree/Access/equal.dhall

Copy path to clipboard

equal checks if two Access settings are equal.

Source

{-|
`equal` checks if two `Access` settings are equal.
-}
let Access =
missing sha256:50689ae80f8c8dcd6e7af33fbc20ea871afb92ec87104253cdbae01f838f6c38
? ./Type.dhall

let Bool/equal =
missing sha256:f0dc047ca14644c2a979bb126f2a3c6659ec770c66bd7beb70ae4a9d05815709
? ../../Bool/equal.dhall

let Optional/equal =
missing sha256:5411888399fe9c6720f7f3b59caf5eff3e8e8c30402d09f34e46a4457649a35a
? ../../Optional/equal.dhall

let f
: Optional Bool -> Optional Bool -> Bool
= Optional/equal Bool Bool/equal

let equal
: Access -> Access -> Bool
= \(a1 : Access) ->
\(a2 : Access) ->
f a1.execute a2.execute && f a1.read a2.read && f a1.write a2.write

in equal