liquidhaskell-0.3.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.World

Contents

Description

This module contains various functions for operating on the World type defined in Language.Haskell.Liquid.Types

Synopsis

Empty world

empty :: World t Source