Documentation

aInf :: Pat Type () Source #

aNat :: Pat Type Integer Source #

aNat' :: Pat Type Nat' Source #

anAdd :: Pat Type (Type, Type) Source #

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

aMul :: Pat Type (Type, Type) Source #

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

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

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

aMin :: Pat Type (Type, Type) Source #

aMax :: Pat Type (Type, Type) Source #

aWidth :: Pat Type Type Source #

aCeilDiv :: Pat Type (Type, Type) Source #

aCeilMod :: Pat Type (Type, Type) Source #

aLenFromThenTo :: Pat Type (Type, Type, Type) Source #

aLiteral :: Pat Prop (Type, Type) Source #

aLogic :: Pat Prop Type Source #

aTVar :: Pat Type TVar Source #

aFreeTVar :: Pat Type TVar Source #

aBit :: Pat Type () Source #

aSeq :: Pat Type (Type, Type) Source #

aWord :: Pat Type Type Source #

aChar :: Pat Type () Source #

aTuple :: Pat Type [Type] Source #

aRec :: Pat Type (RecordMap Ident Type) Source #

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

aFin :: Pat Prop Type Source #

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

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

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

aAnd :: Pat Prop (Prop, Prop) Source #

aTrue :: Pat Prop () Source #

anError :: Kind -> Pat Type TCErrorMessage Source #

module Cryptol.Utils.Patterns