EnglishFrenchSpanish

OnWorks favicon

DrIFT - Online in the Cloud

Run DrIFT in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command DrIFT that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


DrIFT - a type sensitive preprocessor for Haskell

SYNOPSIS


DrIFT [ options ... ] file ...

DESCRIPTION


It extracts type declarations and directives from modules. The directives cause rules to
be fired on the parsed type declarations, generating new code which is then appended to
the bottom of the input file. The rules are expressed as Haskell code, and it is intended
that the user can add new rules as required.

DrIFT automates instance derivation for classes that aren't supported by the standard
compilers. In addition, instances can be produced in separate modules to that containing
the type declaration. This allows instances to be derived for a type after the original
module has been compiled. As a bonus, simple utility functions can also be produced from
a type.

-v, --verbose
chatty output on stderr

-V, --version
show version number

-l, --list
list available derivations

-L, --noline
omit line pragmas from output

-o FILE, --output=FILE
output FILE

-s name:value, --set=name:value
set argument to value

-r, --results-only
output only results, do not include source file

-g rule, --global=rule
addition rules to apply globally

-i, --ignore
ignore directives in file, which is useful with -g

ENVIRONMENT


The environment variable DERIVEPATH can be used to declare a list of directories which
contain the modules and/or interfaces that define the additional classes you wish to
derive from. DrIFT is quite fussy about the format of the DERIVEPATH variable. The
directory list should have the following format:

* each path should be separated by ‘:’
* no space inserted anywhere
* no final ‘/’ on the end of a path

Examples of DERIVEPATH settings:
good - /users/grad/nww/share/hugs/lib:/users/grad/nww/share/hugs/lib/hugs
bad - /users/grad/nww/share/hugs/lib/:/users/grad/nww/share/hugs/lib/hugs/

COPYRIGHT


© 2002 – 2004 DrIFT contributors

Permission is hereby granted, free of charge, to any person obtaining a copy of this
software and associated documentation files (the "Software"), to deal in the Software
without restriction, including without limitation the rights to use, copy, modify, merge,
publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons
to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or
substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE
FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
DEALINGS IN THE SOFTWARE.

Use DrIFT online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    rEFInd
    rEFInd
    rEFInd is a fork of the rEFIt boot
    manager. Like rEFIt, rEFInd can
    auto-detect your installed EFI boot
    loaders and it presents a pretty GUI
    menu of boot option...
    Download rEFInd
  • 2
    ExpressLuke GSI
    ExpressLuke GSI
    This SourceForge download page was to
    grant users to download my source built
    GSIs, based upon phhusson's great
    work. I build both Android Pie and
    Android 1...
    Download ExpressLuke GSI
  • 3
    Music Caster
    Music Caster
    Music Caster is a tray music player
    that lets you cast your local music to a
    Google Cast device. On the first run,
    you will need to click the arrow in your
    tas...
    Download Music Caster
  • 4
    PyQt
    PyQt
    PyQt is the Python bindings for
    Digia's Qt cross-platform
    application development framework. It
    supports Python v2 and v3 and Qt v4 and
    Qt v5. PyQt is avail...
    Download PyQt
  • 5
    Sardi
    Sardi
    Sardi is a complete restyling and
    optimisation of svg code. 6 choices for
    your applications and 10 kind of folders
    to use in your file manager. The sardi
    icons...
    Download Sardi
  • 6
    LMMS Digital Audio Workstation
    LMMS Digital Audio Workstation
    LMMS is a free cross-platform software
    which allows you to produce music with
    your computer. If you like this project
    consider getting involved in the project
    h...
    Download LMMS Digital Audio Workstation
  • More »

Linux commands

  • 1
    a2query
    a2query
    a2query - retrieve runtime
    configuration from a local Apache 2 HTTP
    server ...
    Run a2query
  • 2
    a2x
    a2x
    a2x - A toolchain manager for AsciiDoc
    (converts Asciidoc text files to other
    file formats) ...
    Run a2x
  • 3
    crlutil
    crlutil
    crlutil - List, generate, modify, or
    delete CRLs within the NSS security
    database file(s) and list, create,
    modify or delete certificates entries in
    a particul...
    Run crlutil
  • 4
    crm
    crm
    Use crm online using onworks.net
    services. ...
    Run crm
  • 5
    FvwmProxy
    FvwmProxy
    FvwmProxy - the fvwm proxy module ...
    Run FvwmProxy
  • 6
    FvwmRearrange
    FvwmRearrange
    FvwmRearrange - rearrange fvwm windows ...
    Run FvwmRearrange
  • More »

Ad