bedrock.upoly.effects

(*
 * Copyright (C) BlueRock Security Inc. 2024
 *
 * This software is distributed under the terms of the BedRock Open-Source License.
 * See the LICENSE-BedRock file in the repository root for details.
 *)


Require Import bedrock.upoly.prelude.
Require bedrock.upoly.list.
Require bedrock.upoly.id.
Require bedrock.upoly.reader.
Require bedrock.upoly.writer.
Require bedrock.upoly.state.
Require bedrock.upoly.optionT.
Require bedrock.upoly.listT.
Require bedrock.upoly.traceT.
Require bedrock.upoly.readerT.
Require bedrock.upoly.writerT.
Require bedrock.upoly.stateT.

Export list.Notations.

Add Printing Constructor id.M.
Add Printing Constructor reader.M.
Add Printing Constructor writer.M.
Add Printing Constructor state.M.
Add Printing Constructor optionT.M.
Add Printing Constructor listT.M.
Add Printing Constructor traceT.M.
Add Printing Constructor readerT.M.
Add Printing Constructor writerT.M.
Add Printing Constructor stateT.M.