clr-inline: Quasiquoters for inline C# and F#

[ .net, bsd3, clr, ffi, language, library ] [ Propose Tags ]

Please see

[Skip to Readme]


[Last Documentation]

  • Clr
    • Clr.Inline
      • Clr.Inline.Cabal
      • Clr.Inline.Config


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS], 0.2.0,
Change log
Dependencies base (>=4.9 && <5), bytestring, Cabal, case-insensitive, clr-host (>=, clr-marshal, containers, directory, extra, filepath, here, lens, parsec, pipes, process, split, template-haskell, temporary, text, transformers [details]
License BSD-3-Clause
Copyright 2017 Jose Iborra
Author Jose Iborra
Category Language, FFI, CLR, .NET
Home page
Bug tracker
Source repo head: git clone
Uploaded by PepeIborra at 2017-10-08T18:07:33Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 2512 total (9 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-10-08 [all 3 reports]

Readme for clr-inline-

[back to package description]


Hackage Stackage Nightly Unix build status Windows Build Status

NOTE: you will need GHC >= 8.2 to use this package in Windows.

What is clr-inline

clr-inline provides a quasiquoter to inline F# and C# code in Haskell modules. It was inspired by [inline-java], [inline-c] and [inline-r], and it is implemented on top of clr-host and clr-marshal packages.


Graphical hello world using F# Winforms:

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
module Main where

import Clr.Inline

  open System.Windows.Forms

main = do
  let text = "Hello from Haskell"
        let form = new Form(Text=$text:string)
        let button = new Button(Text="Click Me!", Dock=DockStyle.Fill)
        button.Click.Add(fun _ -> MessageBox.Show($text, "Hey!") |> ignore)


  • Inline F# / C# in Haskell.
  • Automatic unmarshalling of CLR primitive types into Haskell.
  • Reference types support including arrays and generics.
  • Refer to (Quotable) Haskell values inside F# / C# quotations.
  • Experimental support for Haskell lambdas in F#.
    • See the InlineSpec.hs test module for examples of usage.
    • Only mscorlib types are admitted, type resolution will crash at runtime otherwise.

Getting Started

Install the clr-inline package from Hackage using your preferred package manager:

$ cabal install clr-inline
$ stack install clr-inline

By default, .Net is used in Windows and mono in other systems. This is driven by Cabal flags in the clr-host package.


clr-inline requires GHC >=8.0 for mono, and either GHC >=8.2 or a linker preprocessor for .Net.

Cabal requires that the CLR compiler is in the application path at cabal configure time. The module Clr.Inline.Cabal provides an optional Cabal user hook that can be added to a cabal Setup script to check for this automatically

Bug #14090 in GHC 8.2.1 requires that the StaticPointers language extension is turned on in every module that contains an inline F# or C# block. Moreover, the modules must have an unrestricted export list.

The quasiquoters look for the F#/C# compiler binaries in the application path. External dependencies and additional search paths can be provided to the quasiquoter as configuration. Configuration creates a new quasiquoter; since GHC does not allow calling a quasiquoter from the same module where it is defined, the recommended practice is to configure the quasiquoters in a dedicated Config module. Example configuration for WPF dependencies:

module WpfDeps where

import Clr.Inline
import Clr.Inline.Config

wpf =
  fsharp' $
    { configDependencies =
        [ "System.Xaml"
        , "WindowsBase"
        , "PresentationCore"
        , "PresentationFramework"


Copyright (c) 2017 Jose Iborra

clr-inline is free software and may be redistributed under the terms specified in the LICENSE file.