overloaded-0.1.1: Overloaded pragmas as a plugin

Safe HaskellSafe
LanguageHaskell2010

Overloaded.Naturals

Description

Overloaded natural numbers.

Synopsis

Documentation

class FromNatural a where Source #

Class for Natural-like datastructures

A numeric literal 42 is desugared to

fromNatural 42

Methods

fromNatural :: Natural -> a Source #

Instances
FromNatural Integer Source # 
Instance details

Defined in Overloaded.Naturals

Methods

fromNatural :: Natural -> Integer Source #

FromNatural Natural Source # 
Instance details

Defined in Overloaded.Naturals

Methods

fromNatural :: Natural -> Natural Source #