roelvandijk

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
module Nub where

import Data.Proxy
import Data.Type.Bool

roelvandijk

{-# LANGUAGE NamedFieldPuns    #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE PackageImports    #-}
{-# LANGUAGE UnicodeSyntax     #-}

module BoundsMonitor where

import "base" Control.Monad           ( return )
import "base" Control.Concurrent.MVar ( MVar, newMVar, modifyMVar, modifyMVar_ )
import "base" Data.Bool               ( Bool(False, True) )

roelvandijk

{-# LANGUAGE FlexibleContexts
           , NoImplicitPrelude
           , PackageImports
           , UnicodeSyntax
  #-}

module Numeric.Units.Dimensional.TF.Parser.Unit
    ( UnitExp(..)
    , parseUnitExp
    ) where

roelvandijk

{-# LANGUAGE FlexibleInstances
           , NoImplicitPrelude
           , PackageImports
           , ScopedTypeVariables
           , TypeSynonymInstances
           , UnicodeSyntax
  #-}

module Numeric.Units.Dimensional.TF.Parser
  ( PrefixItem