class
Analyzer::Fsharp::Giraffe
- Analyzer::Fsharp::Giraffe
- Analyzer
- Reference
- Object
Overview
Giraffe is a functional web framework on top of ASP.NET Core. Routes
are HttpHandler values composed via the >=> Kleisli operator and
collected with choose [...]. Common combinators surfaced here:
route "/path"— exact path matchrouteCi "/path"— case-insensitive variantroutex "regex"— regex variant (path is reported verbatim)routef "/users/%i/%s"— typed parameterssubRoute "/prefix" handlerand friends — mount nested routes
HTTP method filters (GET, POST, etc.) appearing on the same
textual line as a route are honored; lines without an explicit
method default to a fallback set.
Defined in:
analyzer/analyzers/fsharp/giraffe.crConstant Summary
-
FALLBACK_METHODS =
["GET", "POST", "PUT", "DELETE", "PATCH"] -
HTTP_METHODS =
["GET", "POST", "PUT", "DELETE", "PATCH", "HEAD", "OPTIONS"] of ::String -
ROUTEF_PARAM_TYPES =
{'i' => "int", 'd' => "int64", 'b' => "bool", 'c' => "char", 's' => "string", 'f' => "float", 'O' => "guid", 'u' => "uint64"} -
Mapping of routef format specifiers to noir path-param types.
Instance Method Summary
Instance methods inherited from class Analyzer
analyze
analyze,
base_path : String
base_path,
base_paths : Array(String)
base_paths,
callees_needed? : Bool
callees_needed?,
logger : NoirLogger
logger,
parallel_analyze(channel : Channel(String), &block : String -> Nil)
parallel_analyze,
read_file_content(path : String) : String
read_file_content,
result : Array(Endpoint)
result,
url : String
url
Constructor methods inherited from class Analyzer
new(options : Hash(String, YAML::Any))
new
Macros inherited from class Analyzer
define_getter_methods(names)
define_getter_methods
Instance methods inherited from module FileHelper
all_files : Array(String)
all_files,
get_files_by_extension(extension : String) : Array(String)
get_files_by_extension,
get_files_by_prefix(prefix : String) : Array(String)
get_files_by_prefix,
get_files_by_prefix_and_extension(prefix : String, extension : String) : Array(String)
get_files_by_prefix_and_extension,
get_public_dir_files(base_path : String, folder : String) : Array(String)
get_public_dir_files,
get_public_files(base_path : String, anchors : Array(String) = ["shard.yml", "Gemfile"]) : Array(String)
get_public_files,
populate_channel_with_files(channel : Channel(String))
populate_channel_with_files,
populate_channel_with_filtered_files(channel : Channel(String), extension : String)populate_channel_with_filtered_files(channel : Channel(String), extensions : Array(String)) populate_channel_with_filtered_files