package bap-c
-
bap_c
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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 ... endmodule Search : sig ... endSearch Monad.
module State :
Bap_c_type_mapper_intf.S
with type ('a, 'e) m = ('a, 'e) Monads.Std.Monad.State.tthe mapper lifted into a regular state monad.
module Finder :
Bap_c_type_mapper_intf.S with type ('a, 'e) m = ('a, 'e) Search.tthe 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.tMake(M) lifts the visitor into monad M.