model-0.5: Derive a model of a data type using Generics

Safe Haskell	Safe
Language	Haskell2010

Type.ANat

Description

Nats with * kind

Synopsis

data ANat (n :: Nat)
anatVal :: KnownNat n => ANat n -> Integer
type A0 = ANat 0
type A1 = ANat 1
type A2 = ANat 2
type A3 = ANat 3
type A4 = ANat 4
type A5 = ANat 5
type A6 = ANat 6
type A7 = ANat 7
type A8 = ANat 8
type A9 = ANat 9
module GHC.TypeLits

Documentation

data ANat (n :: Nat) Source #

Envelope to get Nats with * kind

Instances

(KnownNat t, Typeable t) => Model (ANat t) Source #	TypeLits are used to represent data type's parameters.
Instance details Defined in Data.Model.Class Methods envType :: Proxy (ANat t) -> State Env HType Source #

anatVal :: KnownNat n => ANat n -> Integer Source #

Convert a Nat to the corresponding Integer

>>> anatVal (undefined::A5)
5

type A0 = ANat 0 Source #

type A1 = ANat 1 Source #

type A2 = ANat 2 Source #

type A3 = ANat 3 Source #

type A4 = ANat 4 Source #

type A5 = ANat 5 Source #

type A6 = ANat 6 Source #

type A7 = ANat 7 Source #

type A8 = ANat 8 Source #

type A9 = ANat 9 Source #

module GHC.TypeLits