@hackage sequent-core dependencies

17 results

library:sequent-core (5 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/ghc

The GHC API

BSD-3-Clause>=7.8 && <7.10

executable:CasesExpl (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/sequent-core

Alternative Core language for GHC plugins

BSD-3-Clause

executable:DumpExpl (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/sequent-core

Alternative Core language for GHC plugins

BSD-3-Clause

executable:SimplExpl (3 dependencies)

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/sequent-core

Alternative Core language for GHC plugins

BSD-3-Clause

executable:SizesExpl (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/sequent-core

Alternative Core language for GHC plugins

BSD-3-Clause

executable:SpecConstrExpl (3 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/sequent-core

Alternative Core language for GHC plugins

BSD-3-Clause