Cryptol.TypeCheck.TypePat

Documentation

aInf :: Pat Type ()

aNat :: Pat Type Integer

aNat' :: Pat Type Nat'

anAdd :: Pat Type (Type, Type)

(|-|) :: Pat Type (Type, Type)

aMul :: Pat Type (Type, Type)

(|^|) :: Pat Type (Type, Type)

(|/|) :: Pat Type (Type, Type)

(|%|) :: Pat Type (Type, Type)

aMin :: Pat Type (Type, Type)

aMax :: Pat Type (Type, Type)

aWidth :: Pat Type Type

aCeilDiv :: Pat Type (Type, Type)

aCeilMod :: Pat Type (Type, Type)

aLenFromThenTo :: Pat Type (Type, Type, Type)

aLiteral :: Pat Prop (Type, Type)

aLogic :: Pat Prop Type

aTVar :: Pat Type TVar

aFreeTVar :: Pat Type TVar

aBit :: Pat Type ()

aSeq :: Pat Type (Type, Type)

aWord :: Pat Type Type

aChar :: Pat Type ()

aTuple :: Pat Type [Type]

aRec :: Pat Type (RecordMap Ident Type)

(|->|) :: Pat Type (Type, Type)

aFin :: Pat Prop Type

(|=|) :: Pat Prop (Type, Type)

(|/=|) :: Pat Prop (Type, Type)

(|>=|) :: Pat Prop (Type, Type)

aAnd :: Pat Prop (Prop, Prop)

aTrue :: Pat Prop ()

anError :: Kind -> Pat Type TCErrorMessage

module Cryptol.Utils.Patterns