Wala shell

Advanced PHP File Manager

Server IP: 127.0.0.1 | PHP Version: 8.3.30 | Domains Hosted: 54

Name	Size	Last Modified	Actions
📁 ..	-	2025-05-25 12:27
📄 Api.elm module Utils.Api exposing (delete, get, makeApiUrl, map, post, send) import Http exposing (Error(..)) import Json.Decode as Json exposing (field) import Utils.Types exposing (ApiData(..)) map : (a -> b) -> ApiData a -> ApiData b map fn response = case response of Success value -> Success (fn value) Initial -> Initial Loading -> Loading Failure a -> Failure a parseError : String -> Maybe String parseError = Json.decodeString (field "error" Json.string) >> Result.toMaybe errorToString : Http.Error -> String errorToString err = case err of Timeout -> "Timeout exceeded" NetworkError -> "Network error" BadStatus resp -> parseError resp.body \|> Maybe.withDefault (String.fromInt resp.status.code ++ " " ++ resp.status.message) BadPayload err_ _ -> -- OK status, unexpected payload "Unexpected response from api: " ++ err_ BadUrl url -> "Malformed url: " ++ url fromResult : Result Http.Error a -> ApiData a fromResult result = case result of Err e -> Failure (errorToString e) Ok x -> Success x send : Http.Request a -> Cmd (ApiData a) send = Http.send fromResult get : String -> Json.Decoder a -> Http.Request a get url decoder = request "GET" [] url Http.emptyBody decoder post : String -> Http.Body -> Json.Decoder a -> Http.Request a post url body decoder = request "POST" [] url body decoder delete : String -> Json.Decoder a -> Http.Request a delete url decoder = request "DELETE" [] url Http.emptyBody decoder request : String -> List Http.Header -> String -> Http.Body -> Json.Decoder a -> Http.Request a request method headers url body decoder = Http.request { method = method , headers = headers , url = url , body = body , expect = Http.expectJson decoder , timeout = Nothing , withCredentials = False } makeApiUrl : String -> String makeApiUrl externalUrl = let url = if String.endsWith "/" externalUrl then String.dropRight 1 externalUrl else externalUrl in url ++ "/api/v2"	2.29 KB	2025-05-25 12:27
📄 Date.elm module Utils.Date exposing ( addDuration , dateTimeFormat , durationFormat , parseDuration , timeDifference , timeFromString , timeToString ) import Iso8601 import Parser exposing ((\|.), (\|=), Parser) import Time exposing (Posix) import Tuple parseDuration : String -> Result String Float parseDuration = Parser.run durationParser >> Result.mapError (always "Wrong duration format") durationParser : Parser Float durationParser = Parser.succeed identity \|= Parser.loop 0 durationHelp \|. Parser.spaces \|. Parser.end durationHelp : Float -> Parser (Parser.Step Float Float) durationHelp duration = Parser.oneOf [ Parser.succeed (\d -> Parser.Loop (d + duration)) \|= term \|. Parser.spaces , Parser.succeed (Parser.Done duration) ] units : List ( String, number ) units = [ ( "w", 604800000 ) , ( "d", 86400000 ) , ( "h", 3600000 ) , ( "m", 60000 ) , ( "s", 1000 ) ] timeToString : Posix -> String timeToString = Iso8601.fromTime term : Parser Float term = Parser.succeed (*) \|= Parser.float \|= (units \|> List.map (\( unit, ms ) -> Parser.succeed ms \|. Parser.symbol unit) \|> Parser.oneOf ) addDuration : Float -> Posix -> Posix addDuration duration time = Time.millisToPosix <\| (Time.posixToMillis time + round duration) timeDifference : Posix -> Posix -> Float timeDifference startsAt endsAt = toFloat <\| (Time.posixToMillis endsAt - Time.posixToMillis startsAt) durationFormat : Float -> Maybe String durationFormat duration = if duration >= 0 then List.foldl (\( unit, ms ) ( result, curr ) -> ( if curr // ms == 0 then result else result ++ String.fromInt (curr // ms) ++ unit ++ " " , modBy ms curr ) ) ( "", round duration ) units \|> Tuple.first \|> String.trim \|> Just else Nothing dateTimeFormat : Posix -> String dateTimeFormat = Iso8601.fromTime timeFromString : String -> Result String Posix timeFromString string = if string == "" then Err "Should not be empty" else Iso8601.toTime string \|> Result.mapError (always "Wrong ISO8601 format")	2.4 KB	2025-05-25 12:27
📁 DateTimePicker	-	2025-05-25 12:27
📄 Filter.elm module Utils.Filter exposing ( Filter , MatchOperator(..) , Matcher , SilenceFormGetParams , convertFilterMatcher , emptySilenceFormGetParams , fromApiMatcher , generateAPIQueryString , nullFilter , parseFilter , parseGroup , parseMatcher , silencePreviewFilter , stringifyFilter , stringifyGroup , stringifyMatcher , toApiMatcher , toUrl , withMatchers ) import Char import Data.Matcher import Parser exposing ((\|.), (\|=), Parser, Trailing(..)) import Set import Url exposing (percentEncode) type alias Filter = { text : Maybe String , group : Maybe String , customGrouping : Bool , receiver : Maybe String , showSilenced : Maybe Bool , showInhibited : Maybe Bool , showMuted : Maybe Bool , showActive : Maybe Bool } nullFilter : Filter nullFilter = { text = Nothing , group = Nothing , customGrouping = False , receiver = Nothing , showSilenced = Nothing , showInhibited = Nothing , showMuted = Nothing , showActive = Nothing } generateQueryParam : String -> Maybe String -> Maybe String generateQueryParam name = Maybe.map (percentEncode >> (++) (name ++ "=")) toUrl : String -> Filter -> String toUrl baseUrl { receiver, customGrouping, showSilenced, showInhibited, showMuted, showActive, text, group } = let parts = [ ( "silenced", Maybe.withDefault False showSilenced \|> boolToString \|> Just ) , ( "inhibited", Maybe.withDefault False showInhibited \|> boolToString \|> Just ) , ( "muted", Maybe.withDefault False showMuted \|> boolToString \|> Just ) , ( "active", Maybe.withDefault True showActive \|> boolToString \|> Just ) , ( "filter", emptyToNothing text ) , ( "receiver", emptyToNothing receiver ) , ( "group", group ) , ( "customGrouping", boolToMaybeString customGrouping ) ] \|> List.filterMap (\( a, b ) -> generateQueryParam a b) in if List.length parts > 0 then baseUrl ++ (parts \|> String.join "&" \|> (++) "?" ) else baseUrl generateAPIQueryString : Filter -> String generateAPIQueryString { receiver, showSilenced, showInhibited, showMuted, showActive, text, group } = let filter_ = case parseFilter (Maybe.withDefault "" text) of Just matchers_ -> List.map (stringifyMatcher >> Just >> Tuple.pair "filter") matchers_ Nothing -> [] parts = filter_ ++ [ ( "silenced", Maybe.withDefault False showSilenced \|> boolToString \|> Just ) , ( "inhibited", Maybe.withDefault False showInhibited \|> boolToString \|> Just ) , ( "muted", Maybe.withDefault False showMuted \|> boolToString \|> Just ) , ( "active", Maybe.withDefault True showActive \|> boolToString \|> Just ) , ( "receiver", emptyToNothing receiver ) , ( "group", group ) ] \|> List.filterMap (\( a, b ) -> generateQueryParam a b) in if List.length parts > 0 then parts \|> String.join "&" \|> (++) "?" else "" boolToMaybeString : Bool -> Maybe String boolToMaybeString b = if b then Just "true" else Nothing boolToString : Bool -> String boolToString b = if b then "true" else "false" emptyToNothing : Maybe String -> Maybe String emptyToNothing str = case str of Just "" -> Nothing _ -> str type alias Matcher = { key : String , op : MatchOperator , value : String } toApiMatcher : Matcher -> Data.Matcher.Matcher toApiMatcher { key, op, value } = let ( isRegex, isEqual ) = case op of Eq -> ( False, True ) NotEq -> ( False, False ) RegexMatch -> ( True, True ) NotRegexMatch -> ( True, False ) in { name = key , isRegex = isRegex , isEqual = Just isEqual , value = value } fromApiMatcher : Data.Matcher.Matcher -> Matcher fromApiMatcher { name, value, isRegex, isEqual } = let isEqualValue = case isEqual of Nothing -> True Just justIsEqual -> justIsEqual op = if not isRegex && isEqualValue then Eq else if not isRegex && not isEqualValue then NotEq else if isRegex && isEqualValue then RegexMatch else NotRegexMatch in { key = name , value = value , op = op } type MatchOperator = Eq \| NotEq \| RegexMatch \| NotRegexMatch matchers : List ( String, MatchOperator ) matchers = [ ( "=~", RegexMatch ) , ( "!~", NotRegexMatch ) , ( "=", Eq ) , ( "!=", NotEq ) ] parseFilter : String -> Maybe (List Matcher) parseFilter = Parser.run filter >> Result.toMaybe parseMatcher : String -> Maybe Matcher parseMatcher = Parser.run matcher >> Result.toMaybe stringifyGroup : List String -> Maybe String stringifyGroup list = if List.isEmpty list then Just "" else if list == [ "alertname" ] then Nothing else Just (String.join "," list) parseGroup : Maybe String -> List String parseGroup maybeGroup = case maybeGroup of Nothing -> [ "alertname" ] Just something -> String.split "," something \|> List.filter (String.length >> (<) 0) stringifyFilter : List Matcher -> String stringifyFilter matchers_ = case matchers_ of [] -> "" list -> (list \|> List.map stringifyMatcher \|> String.join ", " \|> (++) "{" ) ++ "}" stringifyMatcher : Matcher -> String stringifyMatcher { key, op, value } = key ++ (matchers \|> List.filter (Tuple.second >> (==) op) \|> List.head \|> Maybe.map Tuple.first \|> Maybe.withDefault "" ) ++ "\"" ++ value ++ "\"" convertFilterMatcher : Matcher -> Data.Matcher.Matcher convertFilterMatcher { key, op, value } = { name = key , value = value , isRegex = (op == RegexMatch) \|\| (op == NotRegexMatch) , isEqual = Just ((op == Eq) \|\| (op == RegexMatch)) } filter : Parser (List Matcher) filter = Parser.succeed identity \|= Parser.sequence { start = "{" , separator = "," , end = "}" , spaces = Parser.spaces , item = item , trailing = Forbidden } \|. Parser.end matcher : Parser Matcher matcher = Parser.succeed identity \|. Parser.spaces \|= item \|. Parser.spaces \|. Parser.end item : Parser Matcher item = Parser.succeed Matcher \|= Parser.variable { start = isVarChar , inner = isVarChar , reserved = Set.empty } \|= (matchers \|> List.map (\( keyword, matcher_ ) -> Parser.succeed matcher_ \|. Parser.keyword keyword ) \|> Parser.oneOf ) \|= string '"' string : Char -> Parser String string separator = Parser.succeed () \|. Parser.token (String.fromChar separator) \|. Parser.loop separator stringHelp \|> Parser.getChompedString -- Remove quotes \|> Parser.map (String.dropLeft 1 >> String.dropRight 1) stringHelp : Char -> Parser (Parser.Step Char ()) stringHelp separator = Parser.oneOf [ Parser.succeed (Parser.Done ()) \|. Parser.token (String.fromChar separator) , Parser.succeed (Parser.Loop separator) \|. Parser.chompIf (\char -> char == '\\') \|. Parser.chompIf (\_ -> True) , Parser.succeed (Parser.Loop separator) \|. Parser.chompIf (\char -> char /= '\\' && char /= separator) ] isVarChar : Char -> Bool isVarChar char = Char.isLower char \|\| Char.isUpper char \|\| (char == '_') \|\| Char.isDigit char withMatchers : List Matcher -> Filter -> Filter withMatchers matchers_ filter_ = { filter_ \| text = Just (stringifyFilter matchers_) } silencePreviewFilter : List Data.Matcher.Matcher -> Filter silencePreviewFilter apiMatchers = { nullFilter \| text = List.map fromApiMatcher apiMatchers \|> stringifyFilter \|> Just , showSilenced = Just True , showInhibited = Just True , showMuted = Just True , showActive = Just True } type alias SilenceFormGetParams = { matchers : List Matcher , comment : String } emptySilenceFormGetParams : SilenceFormGetParams emptySilenceFormGetParams = { matchers = [] , comment = "" }	9.21 KB	2025-05-25 12:27
📄 FormValidation.elm module Utils.FormValidation exposing ( ValidatedField , ValidationState(..) , initialField , stringNotEmpty , updateValue , validate ) type ValidationState = Initial \| Valid \| Invalid String fromResult : Result String a -> ValidationState fromResult result = case result of Ok _ -> Valid Err str -> Invalid str type alias ValidatedField = { value : String , validationState : ValidationState } initialField : String -> ValidatedField initialField value = { value = value , validationState = Initial } updateValue : String -> ValidatedField -> ValidatedField updateValue value field = { field \| value = value, validationState = Initial } validate : (String -> Result String a) -> ValidatedField -> ValidatedField validate validator field = { field \| validationState = fromResult (validator field.value) } stringNotEmpty : String -> Result String String stringNotEmpty string = if String.isEmpty (String.trim string) then Err "Should not be empty" else Ok string	1.09 KB	2025-05-25 12:27
📄 Keyboard.elm module Utils.Keyboard exposing (keys, onKeyDown, onKeyUp) import Html exposing (Attribute) import Html.Events exposing (keyCode, on) import Json.Decode as Json keys : { backspace : Int , enter : Int , up : Int , down : Int } keys = { backspace = 8 , enter = 13 , up = 38 , down = 40 } onKeyDown : (Int -> msg) -> Attribute msg onKeyDown tagger = on "keydown" (Json.map tagger keyCode) onKeyUp : (Int -> msg) -> Attribute msg onKeyUp tagger = on "keyup" (Json.map tagger keyCode)	534 B	2025-05-25 12:27
📄 List.elm module Utils.List exposing (groupBy, lastElem, mstring, nextElem, zip) import Data.Matcher exposing (Matcher) import Dict exposing (Dict) nextElem : a -> List a -> Maybe a nextElem el list = case list of curr :: rest -> if curr == el then List.head rest else nextElem el rest [] -> Nothing lastElem : List a -> Maybe a lastElem = List.foldl (Just >> always) Nothing mstring : Matcher -> String mstring m = let isEqual = case m.isEqual of Nothing -> True Just value -> value sep = if not m.isRegex && isEqual then "=" else if not m.isRegex && not isEqual then "!=" else if m.isRegex && isEqual then "=~" else "!~" in String.join sep [ m.name, m.value ] {-\| Takes a key-fn and a list. Creates a `Dict` which maps the key to a list of matching elements. mary = {id=1, name="Mary"} jack = {id=2, name="Jack"} jill = {id=1, name="Jill"} groupBy .id [mary, jack, jill] == Dict.fromList [(1, [mary, jill]), (2, [jack])] Copied from <https://github.com/elm-community/dict-extra/blob/2.0.0/src/Dict/Extra.elm> -} groupBy : (a -> comparable) -> List a -> Dict comparable (List a) groupBy keyfn list = List.foldr (\x acc -> Dict.update (keyfn x) (Maybe.map ((::) x) >> Maybe.withDefault [ x ] >> Just) acc ) Dict.empty list zip : List a -> List b -> List ( a, b ) zip a b = List.map2 (\a1 b1 -> ( a1, b1 )) a b	1.65 KB	2025-05-25 12:27
📄 Match.elm module Utils.Match exposing (consecutiveChars, jaroWinkler) import Char import Utils.List exposing (zip) {-\| Adapted from https://blog.art-of-coding.eu/comparing-strings-with-metrics-in-haskell/ -} jaro : String -> String -> Float jaro s1 s2 = if s1 == s2 then 1.0 else let l1 = String.length s1 l2 = String.length s2 z2 = zip (List.range 1 l2) (String.toList s2) \|> List.map (Tuple.mapSecond Char.toCode) searchLength = -- A character must be within searchLength spaces of the -- character we are matching against in order to be considered -- a match. -- (//) is integer division, which removes the need to floor -- the result. (max l1 l2 // 2) - 1 m = zip (List.range 1 l1) (String.toList s1) \|> List.map (Tuple.mapSecond Char.toCode) \|> List.concatMap (charMatch searchLength z2) ml = List.length m t = m \|> List.map (transposition z2 >> toFloat >> () 0.5) \|> List.sum ml1 = toFloat ml / toFloat l1 ml2 = toFloat ml / toFloat l2 mtm = (toFloat ml - t) / toFloat ml in if ml == 0 then 0 else (1 / 3) (ml1 + ml2 + mtm) winkler : String -> String -> Float -> Float winkler s1 s2 jaro_ = if s1 == "" \|\| s2 == "" then 0.0 else if s1 == s2 then 1.0 else let l = consecutiveChars s1 s2 \|> String.length \|> toFloat p = 0.25 in jaro_ + ((l * p) * (1.0 - jaro_)) jaroWinkler : String -> String -> Float jaroWinkler s1 s2 = if s1 == "" \|\| s2 == "" then 0.0 else if s1 == s2 then 1.0 else jaro s1 s2 \|> winkler s1 s2 consecutiveChars : String -> String -> String consecutiveChars s1 s2 = if s1 == "" \|\| s2 == "" then "" else if s1 == s2 then s1 else cp (String.toList s1) (String.toList s2) [] \|> String.fromList cp : List Char -> List Char -> List Char -> List Char cp l1 l2 acc = case ( l1, l2 ) of ( x :: xs, y :: ys ) -> if x == y then cp xs ys (acc ++ [ x ]) else if List.length acc > 0 then -- If we have already found matches, we bail. We only want -- consecutive matches. acc else -- Go through every character in l1 until it matches the first -- character in l2, and then start counting from there. cp l1 ys acc _ -> acc charMatch : Int -> List ( Int, Int ) -> ( Int, Int ) -> List ( Int, Int ) charMatch matchRange list ( p, q ) = list \|> List.drop (p - matchRange - 1) \|> List.take (p + matchRange) \|> List.filter (Tuple.second >> (==) q) transposition : List ( Int, Int ) -> ( Int, Int ) -> Int transposition list ( p, q ) = list \|> List.filter (\( x, y ) -> p /= x && q == y ) \|> List.length	3.4 KB	2025-05-25 12:27
📄 String.elm module Utils.String exposing (capitalizeFirst, linkify) import Char import String capitalizeFirst : String -> String capitalizeFirst string = case String.uncons string of Nothing -> string Just ( char, rest ) -> String.cons (Char.toUpper char) rest linkify : String -> List (Result String String) linkify string = List.reverse (linkifyHelp (String.words string) []) linkifyHelp : List String -> List (Result String String) -> List (Result String String) linkifyHelp words linkified = case words of [] -> linkified word :: restWords -> if isUrl word then case linkified of (Err lastWord) :: restLinkified -> -- append space to last word linkifyHelp restWords (Ok word :: Err (lastWord ++ " ") :: restLinkified) (Ok _) :: _ -> -- insert space between two links linkifyHelp restWords (Ok word :: Err " " :: linkified) _ -> linkifyHelp restWords (Ok word :: linkified) else case linkified of (Err lastWord) :: restLinkified -> -- concatenate with last word linkifyHelp restWords (Err (lastWord ++ " " ++ word) :: restLinkified) (Ok _) :: _ -> -- insert space after the link linkifyHelp restWords (Err (" " ++ word) :: linkified) _ -> linkifyHelp restWords (Err word :: linkified) isUrl : String -> Bool isUrl = (\b a -> String.startsWith a b) >> (\b a -> List.any a b) [ "http://", "https://" ]	1.76 KB	2025-05-25 12:27
📄 Types.elm module Utils.Types exposing (ApiData(..), Label, Labels, Matcher) type ApiData a = Initial \| Loading \| Failure String \| Success a type alias Matcher = { isRegex : Bool , isEqual : Maybe Bool , name : String , value : String } type alias Matchers = List Matcher type alias Labels = List Label type alias Label = ( String, String )	388 B	2025-05-25 12:27
📄 Views.elm module Utils.Views exposing ( apiData , checkbox , error , labelButton , linkifyText , loading , tab , validatedField , validatedTextareaField ) import Html exposing (..) import Html.Attributes exposing (..) import Html.Events exposing (onBlur, onCheck, onClick, onInput) import Utils.FormValidation exposing (ValidatedField, ValidationState(..)) import Utils.String import Utils.Types as Types tab : tab -> tab -> (tab -> msg) -> List (Html msg) -> Html msg tab tab_ currentTab msg content = li [ class "nav-item" ] [ if tab_ == currentTab then span [ class "nav-link active" ] content else button [ style "background" "transparent" , style "font" "inherit" , style "cursor" "pointer" , style "outline" "none" , class "nav-link" , onClick (msg tab_) ] content ] labelButton : Maybe msg -> String -> Html msg labelButton maybeMsg labelText = case maybeMsg of Nothing -> span [ class "btn btn-sm bg-faded btn-secondary mr-2 mb-2" , style "user-select" "text" , style "-moz-user-select" "text" , style "-webkit-user-select" "text" ] [ text labelText ] Just msg -> button [ class "btn btn-sm bg-faded btn-secondary mr-2 mb-2" , onClick msg ] [ span [ class "text-muted" ] [ text labelText ] ] linkifyText : String -> List (Html msg) linkifyText str = List.map (\result -> case result of Ok link -> a [ href link, target "_blank" ] [ text link ] Err txt -> text txt ) (Utils.String.linkify str) checkbox : String -> Bool -> (Bool -> msg) -> Html msg checkbox name status msg = label [ class "f6 dib mb2 mr2 d-flex align-items-center" ] [ input [ type_ "checkbox", checked status, onCheck msg ] [] , span [ class "pl-2" ] [ text <\| " " ++ name ] ] validatedField : (List (Attribute msg) -> List (Html msg) -> Html msg) -> String -> String -> (String -> msg) -> msg -> ValidatedField -> Html msg validatedField htmlField labelText classes inputMsg blurMsg field = case field.validationState of Valid -> div [ class <\| "d-flex flex-column form-group has-success " ++ classes ] [ label [] [ strong [] [ text labelText ] ] , htmlField [ value field.value , onInput inputMsg , onBlur blurMsg , class "form-control form-control-success" ] [] ] Initial -> div [ class <\| "d-flex flex-column form-group " ++ classes ] [ label [] [ strong [] [ text labelText ] ] , htmlField [ value field.value , onInput inputMsg , onBlur blurMsg , class "form-control" ] [] ] Invalid error_ -> div [ class <\| "d-flex flex-column form-group has-danger " ++ classes ] [ label [] [ strong [] [ text labelText ] ] , htmlField [ value field.value , onInput inputMsg , onBlur blurMsg , class "form-control form-control-danger" ] [] , div [ class "form-control-feedback" ] [ text error_ ] ] validatedTextareaField : String -> String -> (String -> msg) -> msg -> ValidatedField -> Html msg validatedTextareaField labelText classes inputMsg blurMsg field = let lineCount = String.lines field.value \|> List.length \|> clamp 3 15 in case field.validationState of Valid -> div [ class <\| "d-flex flex-column form-group has-success " ++ classes ] [ label [] [ strong [] [ text labelText ] ] , textarea [ value field.value , onInput inputMsg , onBlur blurMsg , class "form-control form-control-success" , rows lineCount , disableGrammarly ] [] ] Initial -> div [ class <\| "d-flex flex-column form-group " ++ classes ] [ label [] [ strong [] [ text labelText ] ] , textarea [ value field.value , onInput inputMsg , onBlur blurMsg , class "form-control" , rows lineCount , disableGrammarly ] [] ] Invalid error_ -> div [ class <\| "d-flex flex-column form-group has-danger " ++ classes ] [ label [] [ strong [] [ text labelText ] ] , textarea [ value field.value , onInput inputMsg , onBlur blurMsg , class "form-control form-control-danger" , rows lineCount , disableGrammarly ] [] , div [ class "form-control-feedback" ] [ text error_ ] ] apiData : (a -> Html msg) -> Types.ApiData a -> Html msg apiData onSuccess data = case data of Types.Success payload -> onSuccess payload Types.Loading -> loading Types.Initial -> loading Types.Failure msg -> error msg loading : Html msg loading = div [] [ span [] [ text "Loading..." ] ] error : String -> Html msg error err = div [ class "alert alert-warning" ] [ text (Utils.String.capitalizeFirst err) ] disableGrammarly : Html.Attribute msg disableGrammarly = attribute "data-gramm_editor" "false"	6.21 KB	2025-05-25 12:27

Terminal