chore: Rename type hierarchies

Avoid using `Cedar` prefixes for anything, only those classes where the clarity is worth the cost

TODO: Create Entities type with factory from List
TODO: Move CedarEngine to core and improve interface for policy/entity management

.github/workflows/cedar.yaml

@@ -31,3 +31,7 @@ jobs:
         run: dart pub get
       - name: Test
         run: dart test --fail-fast
+      - name: Test (dart2js)
+        run: dart test -p chrome --fail-fast
+      - name: Test (dart2wasm)
+        run: dart test -p chrome -c dart2wasm --fail-fast

packages/cedar/CHANGELOG.md

@@ -1,6 +1,7 @@
 ## 0.2.0
 
 - feat: Add Dart evaluation
+- chore!: Rename several types from `CedarX` to just `X` to improve readability and consistency with Rust impl
 
 ## 0.1.3
 

packages/cedar/example/todo_app.dart

@@ -0,0 +1,47 @@
+import 'package:cedar/cedar.dart';
+
+void main() {
+  const policies = '''
+// Policy 0: Any User can create a list and see what lists they own
+permit (
+    principal,
+    action in [Action::"CreateList", Action::"GetLists"],
+    resource == Application::"TinyTodo"
+);
+
+// Policy 1: A User can perform any action on a List they own
+permit (principal, action, resource)
+when { resource has owner && resource.owner == principal };
+''';
+  final policySet = PolicySet.parse(policies);
+
+  final app = Entity(
+    uid: EntityUid.of('Application', 'TinyTodo'),
+  );
+  final user = Entity(
+    uid: EntityUid.of('User', 'alice'),
+    parents: [app.uid],
+    attributes: {
+      'name': Value.string('Alice'),
+    },
+  );
+  final canCreateTodo = policySet.isAuthorized(
+    AuthorizationRequest(
+      principal: user.uid,
+      action: EntityUid.of('Action', 'CreateList'),
+      resource: app.uid,
+      entities: {app.uid: app, user.uid: user},
+    ),
+  );
+  switch (canCreateTodo) {
+    case AuthorizationResponse(decision: Decision.allow):
+      print('Alice can create the todo list!');
+    case AuthorizationResponse(
+        :final errorMessages,
+        :final reasons,
+      ):
+      print('Alice cannot create the todo list');
+      print('Contributing policies: $reasons');
+      print('Error messages: $errorMessages');
+  }
+}

packages/cedar/lib/cedar.dart

@@ -14,12 +14,16 @@
 /// native assets of `package:cedar_ffi`.
 library;
 
-export 'src/authorization/cedar_authorization_request.dart';
-export 'src/authorization/cedar_authorization_response.dart';
-export 'src/authorization/cedar_authorizer.dart';
-export 'src/eval/errors.dart';
-export 'src/model/cedar_entity.dart';
-export 'src/model/cedar_schema.dart' hide CedarEntityType;
-export 'src/model/types/cedar_value.dart';
-export 'src/policy/cedar_policy.dart';
-export 'src/policy/cedar_policy_set.dart';
+export 'src/authorization/authorization_request.dart';
+export 'src/authorization/authorization_response.dart';
+export 'src/authorization/authorizer.dart';
+export 'src/model/entity.dart';
+export 'src/model/entity_id.dart';
+export 'src/model/errors.dart';
+export 'src/model/policy.dart';
+export 'src/model/policy_constraint.dart';
+export 'src/model/policy_set.dart';
+export 'src/model/schema.dart';
+export 'src/model/schema_type.dart';
+export 'src/model/value/value.dart';
+export 'src/model/variable.dart';

packages/cedar/lib/src/ast.dart

@@ -5,6 +5,7 @@ export 'ast/pattern.dart';
 export 'ast/value.dart';
 export 'ast/variable.dart';
 export 'ast/visitor.dart';
+export 'model/policy.dart';
+export 'model/policy_constraint.dart';
+export 'model/value/value.dart';
 export 'parser/position.dart';
-export 'policy/cedar_policy.dart';
-export 'policy/cedar_scope.dart';

packages/cedar/lib/src/ast/annotation.dart

@@ -25,12 +25,12 @@ final class Annotations with IterableMixin<Annotation> {
     });
   }
 
-  CedarPolicy permit() {
-    return CedarPolicy(effect: CedarEffect.permit, annotations: this);
+  Policy permit() {
+    return Policy(effect: Effect.permit, annotations: this);
   }
 
-  CedarPolicy forbid() {
-    return CedarPolicy(effect: CedarEffect.forbid, annotations: this);
+  Policy forbid() {
+    return Policy(effect: Effect.forbid, annotations: this);
   }
 
   Iterable<Annotation> get iterable sync* {