mangle — Dizionario inglese

mangle
Pronunce (3)
  • /ˈmæŋ.ɡ(ə)l/
  • /ˈmeɪ̯ŋ.ɡ(ə)l/
  • /ˈmɛ̃ŋ.ɡ(ə)l/

Verbo

  1. To change, mutilate, or disfigure by cutting, tearing, rearranging, etc.

    Uso
    • transitivo
    Esempi

    mangled with ghastly wounds through plate and mail

    c. 1703-20, Jonathan Swift, A Letter to a Very Young Lady on Her Marriage when they are disposed to mangle a play or a novel

  2. To modify (an identifier from source code) so as to produce a unique identifier for internal use by the compiler, etc.

    Uso
    • transitivo

Sostantivo

  1. A hand-operated device with rollers, for wringing laundry.

    Sinonimi
  2. The mangle attached to wringer washing machines, often called the wringer.

    Esempi

    There was a bright-red plastic baby-bath, a car tyre, a rusty mangle, and something that looked like a primitive version of a washing machine.

Verbo

  1. To wring laundry.

    Uso
    • arcaico
    • transitivo

Sostantivo

  1. Synonym of mangrove. Any of various trees of the genus Rhizophora, especially the red mangrove (Rhizophora mangle).

    Uso
    • Caribbean
    • uso statunitense
  2. Synonym of mangrove. A forest of such trees.

    Uso
    • Caribbean
    • uso statunitense
  3. Synonym of mangrove. Preceded by a descriptive word: any of various shrubs or trees of genera other than Rhizophora which resemble plants of this genus in appearance and habitat.

    Uso
    • Caribbean
    • uso statunitense

Sostantivo

  1. clothes dryer for drying and ironing laundry by passing it between two heavy heated rollers

    Termini più generali

Verbo

  1. press with a mangle

    Termini più generali
    Esempi

    mangle the sheets

  2. injure badly by beating

    Sinonimi
    Termini più generali
  3. alter so as to make unrecognizable

    Termini più generali
    Esempi

    The tourists murdered the French language

  4. damage or injure severely

    Termini più generali
    Esempi

    The madman mutilates art work

Forme della parola
manglesmanglingmangledmangledmangles

Formattatori di codice

Formatta e abbellisci Java, Python, JavaScript, JSON, HTML e altro; uniforma rientri, spazi e interruzioni di riga.

Altri strumenti

Modifica ed effetti audio

Taglia, unisci o dividi registrazioni, elimina silenzi e rumore e regola volume, velocità, tono o canali.

Altri strumenti

Strumenti per fogli di calcolo

Apri e modifica fogli CSV o Excel, formatta testo tabellare e converti CSV in Excel o SQL.

Altri strumenti

Strumenti Markdown

Scrivi e visualizza Markdown, mostra diagrammi Mermaid e converti tra Markdown, HTML e tabelle.

Altri strumenti

Strumenti di testo

Confronta testi, conta parole e termini frequenti, ordina o sostituisci righe e visualizza testo DOCX.

Altri strumenti

Dizionari

Consulta significati, sinonimi e contrari delle parole cinesi o trova trascrizioni IPA in più lingue.

Conversione e riproduzione audio

Converti tra MP3, WAV, FLAC e altri formati, riproduci audio o PCM grezzo e consulta o modifica i metadati.

Strumenti JSON e dati

Esamina, confronta e convalida JSON; prova espressioni JSONPath o converti dati in CSV, YAML e XML.

Altri strumenti

Strumenti vocali

Trascrivi audio in testo, genera voce dal testo o registra la tua voce nel browser.

Strumenti video

Converti e comprimi video, taglia o unisci clip, ridimensiona fotogrammi ed estrai audio.

Altri strumenti

Riproduzione e registrazione video

Riproduci video locali o in streaming, registra schermo o fotocamera e usa la fotocamera come specchio online.

Strumenti PDF

Comprimi o unisci PDF, dividi e riordina pagine, trasformale in immagini e visualizza o confronta documenti.

Altri strumenti

Strumenti per immagini

Converti formati immagine, ridimensiona o ritaglia foto, comprimi file, confronta immagini ed estrai testo con OCR.

Altri strumenti

Creazione di immagini

Cattura e abbellisci schermate, crea immagini o GIF dal testo, disegna su una lavagna e genera nuvole di parole o favicon.

Altri strumenti

Strumenti per sottotitoli

Modifica sottotitoli SRT o VTT con anteprima video, sposta i tempi, converti formati e gestisci tracce sottotitoli.

Altri strumenti

Strumenti per archivi

Apri archivi ZIP, 7Z, RAR o TAR, estrai i file desiderati e crea nuovi archivi; ZIP e 7Z possono essere protetti da password.

Codificatori | Decodificatori

Codifica e decodifica Base64 o Base32, applica l’escape a URL, HTML e Unicode e consulta il contenuto dei JWT.

Altri strumenti

Strumenti numerici

Converti valori tra binario, decimale ed esadecimale; scrivi numeri in lettere o trasforma testo in binario.

Calcolatori

Calcola percentuali e frazioni, riassumi statistiche e determina voti, sconti o proporzioni dell’immagine.

Altri strumenti

Strumenti per il tempo

Mostra un orologio online, avvia conto alla rovescia o cronometro e calcola date, età o differenze di fuso orario.

Altri strumenti

Strumenti di rete

Verifica IP e connessione IPv6, esamina richieste HTTP o file HAR e calcola intervalli di indirizzi CIDR.

Conversioni di unità

Converti unità di lunghezza, peso, temperatura, spazio dati e altro.

Strumenti per i colori

Converti valori HEX, RGB e HSL, estrai colori da un’immagine, verifica il contrasto o prova lo schermo con colori uniformi.

Codici QR e codici a barre

Genera e leggi codici QR o a barre, inclusi codici QR per link e reti Wi-Fi.

Strumenti di sviluppo e sicurezza

Genera hash, UUID e password, prova espressioni regolari, crea slug URL e verifica permessi dei file.

Altri strumenti

Strumenti di utilità

Verifica risoluzione e frequenza dello schermo, misura con un righello, prova i tasti o leggi con un teleprompter.

Altri strumenti

Giochi

2048, Campo minato, Sudoku, Gomoku, Battaglia di carri armati

Altri strumenti