liquidhaskell-0.5.0.1: 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