Header menu logo Euclid

EuclidException Type

Exception in Euclid.

Constructors

Constructor Description

EuclidException(s)

Full Usage: EuclidException(s)

Parameters:
    s : string

Returns: EuclidException
s : string
Returns: EuclidException

Static members

Static member Description

EuclidException.Raise(txt)

Full Usage: EuclidException.Raise(txt)

Parameters:
    txt : string

Returns: 'a
txt : string
Returns: 'a

EuclidException.Raisef(msg)

Full Usage: EuclidException.Raisef(msg)

Parameters:
    msg : StringFormat<'a, 'b>

Returns: 'a
msg : StringFormat<'a, 'b>
Returns: 'a

EuclidException.Throw1(msg) (v)

Full Usage: EuclidException.Throw1(msg) (v)

Parameters:
    msg : string
    v : 'T

Returns: 'a

This function is much smaller when it gets inlined compared to the Raise (Printf.kprintf) version

msg : string
v : 'T
Returns: 'a

Type something to start searching.