overloaded-0.3.1: Overloaded pragmas as a plugin
Safe HaskellSafe-Inferred
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

Instances details
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 #