Bap_c_type_mapper
include visitor/mapper with the monad stripped away.
include Bap_c_type_mapper_intf.S with type ('a, 'e) m = 'a
class 'e base : object ... end
module Search : sig ... end
Search Monad.
module State :
Bap_c_type_mapper_intf.S
with type ('a, 'e) m = ('a, 'e) Monads.Std.Monad.State.t
the mapper lifted into a regular state monad.
module Finder :
Bap_c_type_mapper_intf.S with type ('a, 'e) m = ('a, 'e) Search.t
the visitor lifted into the search monad.
module Make
(M : Monads.Std.Monad.S2) :
Bap_c_type_mapper_intf.S with type ('a, 'e) m = ('a, 'e) M.t
Make(M)
lifts the visitor into monad M
.